Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

Freek van den Berg, Boudewijn R.H.M. Haverkort, Jozef Hooman, William Knottenbelt (Editor), Katinka Wolter (Editor), Ana Busic (Editor), Marco Gribaudo (Editor), Philipp Reinecke (Editor)

Research output: Other contribution

4 Citations (Scopus)


Service-oriented systems are designed for interconnecting with 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 system designer to obtain distributions of these latencies. This tech- nique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the tech- nique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space ex- plosion) by evaluating the performance of executing models of different complexities; and (ii) an efficient algorithm in which basic estimates, simulation, and (probabilistic) model checking are combined. We illustrate our approach with an case on image processing of interventional X-ray systems.
Original languageEnglish
PublisherInstitute for Computer Sciences, Social-Informatics and Telecommunications Engineering
Number of pages6
Place of PublicationBrussels, Belgium
ISBN (Print)978-1-63190-096-9
Publication statusPublished - Dec 2015
Externally publishedYes


  • EWI-26584
  • METIS-316824
  • IR-100292

Fingerprint Dive into the research topics of 'Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques'. Together they form a unique fingerprint.

Cite this