iDSL: Automated Performance Evaluation of Service-Oriented Systems

Fredericus Gerrit Brand van den Berg, Boudewijn R.H.M. Haverkort, Jozef Hooman

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationModelEd, TestEd, TrustEd
EditorsRom Langerak, Arend Rensink
ISBN (Print)978-3-319-68269-3
Publication statusPublished - 27 Sept 2017
Externally publishedYes

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'iDSL: Automated Performance Evaluation of Service-Oriented Systems'. Together they form a unique fingerprint.

Cite this