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.
|Publisher||Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering|
|Number of pages||6|
|Place of Publication||Brussels, Belgium|
|Publication status||Published - Dec 2015|
van den Berg, F., Haverkort, B. R. H. M., Hooman, J., Knottenbelt, W. (Ed.), Wolter, K. (Ed.), Busic, A. (Ed.), Gribaudo, M. (Ed.), & Reinecke, P. (Ed.) (2015, Dec). Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. https://doi.org/10.4108/eai.14-12-2015.2262725