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 |
---|---|
Title of host publication | Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015 |
Editors | William Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke |
Place of Publication | Brussels, Belgium |
Publisher | Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering |
Pages | 158-163 |
Number of pages | 6 |
ISBN (Print) | 9781631900969 |
DOIs | |
Publication status | Published - Dec 2015 |
Externally published | Yes |
Event | EAI International Conference on Performance Evaluation Methodologies and Tools 2015 - Berlin, Germany Duration: 14 Dec 2015 → 16 Dec 2015 Conference number: 9 http://archive.valuetools.org/2015/show/home |
Conference
Conference | EAI International Conference on Performance Evaluation Methodologies and Tools 2015 |
---|---|
Abbreviated title | VALUETOOLS 2015 |
Country/Territory | Germany |
City | Berlin |
Period | 14/12/15 → 16/12/15 |
Internet address |
Keywords
- EWI-26584
- METIS-316824
- IR-100292