@inbook{210b096e9d024173b110f085f5c87039,
title = "iDSL: Automated Performance Evaluation of Service-Oriented Systems",
abstract = "Service-oriented systems are designed for interconnectingwith other systems. The provided services face timing con-straints, the so-called latencies. We present a high-level per-formance evaluation technique that can be used by a systemdesigner to obtain distributions of these latencies. This tech-nique is capable of capturing nondeterministic, probabilisticand real-time aspects in one go. Under the hood, the tech-nique is equipped with two mechanisms: (i) selection of theright abstraction of the model (to prevent a state space ex-plosion) by evaluating the performance of executing modelsof different complexities; and (ii) an efficient algorithm inwhich basic estimates, simulation, and (probabilistic) modelchecking are combined. We illustrate our approach with ancase on image processing of interventional X-ray systems.",
author = "{van den Berg}, {Fredericus Gerrit Brand} and Haverkort, {Boudewijn R.H.M.} and Jozef Hooman",
year = "2017",
month = sep,
day = "27",
doi = "10.1007/978-3-319-68270-9_11",
language = "English",
isbn = "978-3-319-68269-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
editor = "Rom Langerak and Arend Rensink",
booktitle = "ModelEd, TestEd, TrustEd",
address = "Germany",
}