A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Freek van den Berg; Anne Katharina Ingrid Remke; Boudewijn R.H.M. Haverkort; Volker Turau; Marta Kwiatkowska; Rahul Mangharam; Christoph Weyer

doi:10.4230/OASIcs.MCPS.2014.80

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Freek van den Berg, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, Volker Turau (Editor), Marta Kwiatkowska (Editor), Rahul Mangharam (Editor), Christoph Weyer (Editor)

Research output: Other contribution

9 Citations (Scopus)

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 language	English
Publisher	Schloss Dagstuhl - Leibniz fuer Informatik
Number of pages	14
Place of Publication	Dagstuhl, Germany
ISBN (Print)	978-3-939897-66-8
DOIs	https://doi.org/10.4230/OASIcs.MCPS.2014.80
Publication status	Published - 14 Apr 2014
Externally published	Yes

Keywords

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

Access to Document

10.4230/OASIcs.MCPS.2014.80

Cite this

@misc{a1036c5f7a4e4877bbd7e5b80bdbb4b7,

title = "A Domain Specific Language for Performance Evaluation of Medical Imaging Systems",

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.",

keywords = "EWI-25544, Simulation, Performance Evaluation, Model Checking, Domain Specific Language, Medical System, IR-94137, METIS-309804",

author = "{van den Berg}, Freek and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.} and Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer",

note = "eemcs-eprint-25544",

year = "2014",

month = apr,

day = "14",

doi = "10.4230/OASIcs.MCPS.2014.80",

language = "English",

isbn = "978-3-939897-66-8",

publisher = "Schloss Dagstuhl - Leibniz fuer Informatik",

type = "Other",

}

TY - GEN

T1 - A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

AU - van den Berg, Freek

AU - Remke, Anne Katharina Ingrid

AU - Haverkort, Boudewijn R.H.M.

A2 - Turau, Volker

A2 - Kwiatkowska, Marta

A2 - Mangharam, Rahul

A2 - Weyer, Christoph

N1 - eemcs-eprint-25544

PY - 2014/4/14

Y1 - 2014/4/14

N2 - 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.

AB - 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.

KW - EWI-25544

KW - Simulation

KW - Performance Evaluation

KW - Model Checking

KW - Domain Specific Language

KW - Medical System

KW - IR-94137

KW - METIS-309804

U2 - 10.4230/OASIcs.MCPS.2014.80

DO - 10.4230/OASIcs.MCPS.2014.80

M3 - Other contribution

SN - 978-3-939897-66-8

PB - Schloss Dagstuhl - Leibniz fuer Informatik

CY - Dagstuhl, Germany

ER -

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this