A Domain Specific Language for Performance Evaluation of Medical Imaging Equipment

Speaker:

Freek van den Berg

Date:

17 Februari 2014

Time:

15:30

Room:

CR 3244

Title: A Domain Specific Language for Performance Evaluation of Medical Imaging Equipment

Abstract:

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.