Freek van den Berg
17 Februari 2014
Title: A Domain Specific Language for Performance Evaluation of Medical Imaging Equipment
We propose iDSL, a domain specific language for performance evaluating Medical Imaging Systems. iDSL provides transformations to MoDeST models, which are in turn converted to UPPAAL and MODES models. This enables fully automated performance evaluation by means of model checking and simulations. iDSL presents its results visually. We have tested iDSL using a small example of two concurrent imaging processing systems. iDSL has successfully returned differentiated delay, utilization and bounds for a number of design alternatives.