iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

Freek van den Berg, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)

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
Title of host publicationComputer Performance Engineering
Subtitle of host publicationEuropean Workshop on Performance Engineering, EPEW 2015
EditorsMarta Beltran, William Knottenbelt, Jeremy Bradley
Place of PublicationBerlin
PublisherSpringer
Pages227-242
Number of pages16
ISBN (Print)9783319232669
DOIs
Publication statusPublished - 30 Aug 2015
Externally publishedYes
EventEuropean Workshop on Performance Engineering 2015 - Madrid, Spain
Duration: 31 Aug 20151 Sep 2015
Conference number: 12
http://epew2015.doc.ic.ac.uk/

Publication series

NameLecture Notes in Computer Science
Volume9272

Conference

ConferenceEuropean Workshop on Performance Engineering 2015
Abbreviated titleEPEW 2015
CountrySpain
CityMadrid
Period31/08/151/09/15
Internet address

Keywords

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

Fingerprint Dive into the research topics of 'iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems'. Together they form a unique fingerprint.

  • Cite this

    van den Berg, F., Remke, A. K. I., & Haverkort, B. R. H. M. (2015). iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. In M. Beltran, W. Knottenbelt, & J. Bradley (Eds.), Computer Performance Engineering: European Workshop on Performance Engineering, EPEW 2015 (pp. 227-242). (Lecture Notes in Computer Science; Vol. 9272). Springer. https://doi.org/10.1007/978-3-319-23267-6_15