A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Freek van den Berg, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, Volker Turau (Editor), Marta Kwiatkowska (Editor), Rahul Mangharam (Editor), Christoph Weyer (Editor)

Research output: Other contribution

9 Citations (Scopus)


We propose iDSL, a domain specific language and toolbox for performance evaluation of Medical Imaging Systems. iDSL provides transformations to MoDeST models, which are in turn converted into UPPAAL and discrete-event MODES models. This enables automated performance evaluation by means of model checking and simulations. iDSL presents its results visually. We have tested iDSL on two example image processing systems. iDSL has successfully returned differentiated delays, resource utilizations and delay bounds. Hence, iDSL helps in evaluating and choosing between design alternatives, such as the effects of merging subsystems onto one platform or moving functionality from one platform to another.
Original languageEnglish
PublisherSchloss Dagstuhl - Leibniz fuer Informatik
Number of pages14
Place of PublicationDagstuhl, Germany
ISBN (Print)978-3-939897-66-8
Publication statusPublished - 14 Apr 2014
Externally publishedYes


  • EWI-25544
  • Simulation
  • Performance Evaluation
  • Model Checking
  • Domain Specific Language
  • Medical System
  • IR-94137
  • METIS-309804


Dive into the research topics of 'A Domain Specific Language for Performance Evaluation of Medical Imaging Systems'. Together they form a unique fingerprint.

Cite this