A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Freek van den Berg, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    41 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationProceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014
    EditorsVolker Turau, Marta Kwiatkowska, Rahul Mangharam, Christoph Weyer
    Place of PublicationDagstuhl, Germany
    Number of pages14
    ISBN (Print)978-3-939897-66-8
    Publication statusPublished - 14 Apr 2014
    Event5th Workshop on Medical Cyber-Physical Systems, MCPS 2014 - Berlin, Germany
    Duration: 14 Apr 201414 Apr 2014

    Publication series

    PublisherSchloss Dagstuhl
    ISSN (Print)2190-6807
    ISSN (Electronic)2190-6807


    Workshop5th Workshop on Medical Cyber-Physical Systems, MCPS 2014
    Other14 April 2014


    • EWI-25544
    • Simulation
    • Performance Evaluation
    • Model Checking
    • Domain Specific Language
    • Medical System
    • IR-94137
    • METIS-309804

    Cite this