Abstract
Original language | Undefined |
---|---|
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) | 978-1-63190-096-9 |
DOIs | |
Publication status | Published - Dec 2015 |
Event | 9th 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 |
Publication series
Name | |
---|---|
Publisher | Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering |
Conference
Conference | 9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 |
---|---|
Abbreviated title | VALUETOOLS 2015 |
Country | Germany |
City | Berlin |
Period | 14/12/15 → 16/12/15 |
Internet address |
Keywords
- EWI-26584
- METIS-316824
- IR-100292
Cite this
}
Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. / van den Berg, Freek; Haverkort, Boudewijn R.H.M.; Hooman, Jozef.
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. ed. / William Knottenbelt; Katinka Wolter; Ana Busic; Marco Gribaudo; Philipp Reinecke. Brussels, Belgium : Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015. p. 158-163.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques
AU - van den Berg, Freek
AU - Haverkort, Boudewijn R.H.M.
AU - Hooman, Jozef
N1 - 10.4108/eai.14-12-2015.2262725
PY - 2015/12
Y1 - 2015/12
N2 - 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.
AB - 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.
KW - EWI-26584
KW - METIS-316824
KW - IR-100292
U2 - 10.4108/eai.14-12-2015.2262725
DO - 10.4108/eai.14-12-2015.2262725
M3 - Conference contribution
SN - 978-1-63190-096-9
SP - 158
EP - 163
BT - Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015
A2 - Knottenbelt, William
A2 - Wolter, Katinka
A2 - Busic, Ana
A2 - Gribaudo, Marco
A2 - Reinecke, Philipp
PB - Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
CY - Brussels, Belgium
ER -