Research Article
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
@INPROCEEDINGS{10.4108/eai.14-12-2015.2262725, author={Freek Berg and Boudewijn Haverkort and Jozef Hooman}, title={Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques}, proceedings={9th EAI International Conference on Performance Evaluation Methodologies and Tools}, publisher={ACM}, proceedings_a={VALUETOOLS}, year={2016}, month={1}, keywords={probablistic model checking simulation basic estimations domain specific language performance evaluation}, doi={10.4108/eai.14-12-2015.2262725} }- Freek Berg
Boudewijn Haverkort
Jozef Hooman
Year: 2016
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
VALUETOOLS
ICST
DOI: 10.4108/eai.14-12-2015.2262725
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.