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.
- Performance Evaluation
- Model Checking
- Domain Specific Language
- Medical System
van den Berg, F., Remke, A. K. I., Haverkort, B. R. H. M., Turau, V. (Ed.), Kwiatkowska, M. (Ed.), Mangharam, R. (Ed.), & Weyer, C. (Ed.) (2014, Apr 14). A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz fuer Informatik. https://doi.org/10.4230/OASIcs.MCPS.2014.80