Title
Efficiently computing latency distributions by combined performance evaluation techniques
Author
van den Berg, F.
Haverkort, B.R.
Hooman, J.
Contributor
Gribaudo, M. (editor)
Reinecke, P. (editor)
Wolter, K. (editor)
Knottenbelt, W. (editor)
Busic, A. (editor)
Publication year
2015
Abstract
Service-oriented systems are designed for interconnecting with other systems. The provided services face timing constraints, the so-called latencies. We present a high-level performance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This technique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the technique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space explosion) 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. © Copyright 2016 ICST.
Subject
Communication & Information
ESI - Embedded Systems Innovation
TS - Technical Sciences
High Tech Systems & Materials
Industrial Innovation
Basic estimations
Domain specific language
Performance evaluation
Probablistic model checking
Simulation
Algorithms
Computer programming languages
Image processing
Problem oriented languages
Domain specific languages
Performance evaluation
Probablistic models
Real time aspects
Service Oriented Systems
Simulation
State-space explosion
Timing constraints
Model checking
To reference this document use:
http://resolver.tudelft.nl/uuid:a92e1000-ccba-4f11-b670-e2ac633e6b6f
DOI
https://doi.org/10.4108/eai.14-12-2015.2262725
TNO identifier
535440
Publisher
ICST
ISBN
9781631900969
Source
9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Document type
conference paper