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 proceedingChapterAcademicpeer-review


    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
    Subtitle of host publicationEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    EditorsRom Langerak, Arend Rensink
    ISBN (Electronic)978-3-319-68270-9
    ISBN (Print)978-3-319-68269-3
    Publication statusPublished - 27 Sept 2017

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


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

    Cite this