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)
    21 Downloads (Pure)

    Abstract

    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
    PublisherDagstuhl
    Pages80-93
    Number of pages14
    ISBN (Print)978-3-939897-66-8
    DOIs
    Publication statusPublished - 14 Apr 2014
    Event5th Workshop on Medical Cyber-Physical Systems, MCPS 2014 - Berlin, Germany
    Duration: 14 Apr 201414 Apr 2014

    Publication series

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

    Workshop

    Workshop5th Workshop on Medical Cyber-Physical Systems, MCPS 2014
    Period14/04/1414/04/14
    Other14 April 2014

    Keywords

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

    Cite this