License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MCPS.2014.80
URN: urn:nbn:de:0030-drops-45257
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4525/
Go to the corresponding OASIcs Volume Portal

van den Berg, Freek ; Remke, Anne ; Haverkort, Boudewijn R.

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

pdf-format:
10.pdf (0.9 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{vandenberg_et_al:OASIcs:2014:4525,
  author =	{Freek van den Berg and Anne Remke and Boudewijn R. Haverkort},
  title =	{{A Domain Specific Language for Performance Evaluation of Medical Imaging Systems}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{80--93},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4525},
  URN =		{urn:nbn:de:0030-drops-45257},
  doi =		{10.4230/OASIcs.MCPS.2014.80},
  annote =	{Keywords: Domain Specific Language, Performance Evaluation, Simulation, Model Checking, Medical Systems}
}

Keywords: Domain Specific Language, Performance Evaluation, Simulation, Model Checking, Medical Systems
Collection: 5th Workshop on Medical Cyber-Physical Systems
Issue Date: 2014
Date of publication: 14.04.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI