Abstract
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 language | English |
---|---|
Publisher | Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering |
Number of pages | 6 |
Place of Publication | Brussels, Belgium |
ISBN (Print) | 978-1-63190-096-9 |
DOIs | |
Publication status | Published - Dec 2015 |
Externally published | Yes |
Keywords
- EWI-26584
- METIS-316824
- IR-100292