OASIcs.MCPS.2014.80.pdf
- Filesize: 0.88 MB
- 14 pages
Document
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems
Authors
-
Part of:
Volume:
5th Workshop on Medical Cyber-Physical Systems (MCPS 2014)
Series: Open Access Series in Informatics (OASIcs) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2014-04-14
Cite As Get BibTex
Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort. A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 80-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/OASIcs.MCPS.2014.80
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.
Subject Classification
Keywords
- Domain Specific Language
- Performance Evaluation
- Simulation
- Model Checking
- Medical Systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads