iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

Freek van den Berg, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, Marta Beltran (Editor), William Knottenbelt, Jeremy Bradley

Research output: Other contributionOther research output

Abstract

System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.
Original languageEnglish
PublisherSpringer
Number of pages16
Place of PublicationBerlin
ISBN (Print)978-3-319-23266-9
DOIs
Publication statusPublished - 30 Aug 2015
Externally publishedYes

Fingerprint

Medical imaging
Imaging systems
Model checking
Image processing
Sampling
X rays

Keywords

  • EWI-26292
  • IR-98152
  • METIS-314966

Cite this

van den Berg, F., Remke, A. K. I., Haverkort, B. R. H. M., Beltran, M. (Ed.), Knottenbelt, W., & Bradley, J. (2015, Aug 30). iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. Berlin: Springer. https://doi.org/10.1007/978-3-319-23267-6_15
van den Berg, Freek ; Remke, Anne Katharina Ingrid ; Haverkort, Boudewijn R.H.M. ; Beltran, Marta (Editor) ; Knottenbelt, William ; Bradley, Jeremy. / iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. 2015. Berlin : Springer. 16 p.
@misc{3a8dcbd399eb42f7a6c9f8addac80fd2,
title = "iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems",
abstract = "System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.",
keywords = "EWI-26292, IR-98152, METIS-314966",
author = "{van den Berg}, Freek and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.} and Marta Beltran and William Knottenbelt and Jeremy Bradley",
note = "10.1007/978-3-319-23267-6_15",
year = "2015",
month = "8",
day = "30",
doi = "10.1007/978-3-319-23267-6_15",
language = "English",
isbn = "978-3-319-23266-9",
publisher = "Springer",
type = "Other",

}

van den Berg, F, Remke, AKI, Haverkort, BRHM, Beltran, M (ed.), Knottenbelt, W & Bradley, J 2015, iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. Springer, Berlin. https://doi.org/10.1007/978-3-319-23267-6_15

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. / van den Berg, Freek; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.; Beltran, Marta (Editor); Knottenbelt, William; Bradley, Jeremy.

16 p. Berlin : Springer. 2015, .

Research output: Other contributionOther research output

TY - GEN

T1 - iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

AU - van den Berg, Freek

AU - Remke, Anne Katharina Ingrid

AU - Haverkort, Boudewijn R.H.M.

AU - Knottenbelt, William

AU - Bradley, Jeremy

A2 - Beltran, Marta

N1 - 10.1007/978-3-319-23267-6_15

PY - 2015/8/30

Y1 - 2015/8/30

N2 - System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.

AB - System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.

KW - EWI-26292

KW - IR-98152

KW - METIS-314966

U2 - 10.1007/978-3-319-23267-6_15

DO - 10.1007/978-3-319-23267-6_15

M3 - Other contribution

SN - 978-3-319-23266-9

PB - Springer

CY - Berlin

ER -