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.
@InProceedings{vandenberg_et_al:OASIcs.MCPS.2014.80, author = {van den Berg, Freek and Remke, Anne and Haverkort, Boudewijn R.}, title = {{A Domain Specific Language for Performance Evaluation of Medical Imaging Systems}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {80--93}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.80}, 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} }
Feedback for Dagstuhl Publishing