Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

Freek van den Berg; Boudewijn R.H.M. Haverkort; Jozef Hooman; William Knottenbelt; Katinka Wolter; Ana Busic; Marco Gribaudo; Philipp Reinecke

doi:10.4108/eai.14-12-2015.2262725

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

Freek van den Berg
, Boudewijn R.H.M. Haverkort
, Jozef Hooman
, William Knottenbelt (Editor)
, Katinka Wolter (Editor)
, Ana Busic (Editor)
, Marco Gribaudo (Editor)
, Philipp Reinecke (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

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	https://doi.org/10.4108/eai.14-12-2015.2262725
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	http://archive.valuetools.org/2015/show/home

Keywords

EWI-26584
METIS-316824
IR-100292

Access to Document

10.4108/eai.14-12-2015.2262725

Cite this

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). Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. In W. Knottenbelt, K. Wolter, A. Busic, M. Gribaudo, & P. Reinecke (Eds.), Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015 (pp. 158-163). Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. https://doi.org/10.4108/eai.14-12-2015.2262725

van den Berg, Freek ; Haverkort, Boudewijn R.H.M. ; Hooman, Jozef et al. / Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. editor / William Knottenbelt ; Katinka Wolter ; Ana Busic ; Marco Gribaudo ; Philipp Reinecke. Brussels, Belgium : Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015. pp. 158-163

@inproceedings{a2cd2af086ad48cc98833b3aa4ded28f,

title = "Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques",

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.",

keywords = "EWI-26584, METIS-316824, IR-100292",

author = "\{van den Berg\}, Freek and Haverkort, \{Boudewijn R.H.M.\} and Jozef Hooman and William Knottenbelt and Katinka Wolter and Ana Busic and Marco Gribaudo and Philipp Reinecke",

year = "2015",

month = dec,

doi = "10.4108/eai.14-12-2015.2262725",

language = "English",

isbn = "9781631900969",

pages = "158--163",

editor = "William Knottenbelt and Katinka Wolter and Ana Busic and Marco Gribaudo and Philipp Reinecke",

booktitle = "Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015",

publisher = "Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering",

note = "EAI International Conference on Performance Evaluation Methodologies and Tools 2015, VALUETOOLS 2015 ; Conference date: 14-12-2015 Through 16-12-2015",

url = "http://archive.valuetools.org/2015/show/home",

}

van den Berg, F, Haverkort, BRHM, Hooman, J, Knottenbelt, W (ed.), Wolter, K (ed.), Busic, A (ed.), Gribaudo, M (ed.) & Reinecke, P (ed.) 2015, Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. in W Knottenbelt, K Wolter, A Busic, M Gribaudo & P Reinecke (eds), Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, Brussels, Belgium, pp. 158-163, EAI International Conference on Performance Evaluation Methodologies and Tools 2015, Berlin, Berlin, Germany, 14/12/15. https://doi.org/10.4108/eai.14-12-2015.2262725

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. / van den Berg, Freek; Haverkort, Boudewijn R.H.M.; Hooman, Jozef et al.
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 › Scientific › 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

A2 - Knottenbelt, William

A2 - Wolter, Katinka

A2 - Busic, Ana

A2 - Gribaudo, Marco

A2 - Reinecke, Philipp

A2 - Knottenbelt, William

A2 - Wolter, Katinka

A2 - Busic, Ana

A2 - Gribaudo, Marco

A2 - Reinecke, Philipp

N1 - Conference code: 9

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 - 9781631900969

SP - 158

EP - 163

BT - Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015

PB - Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering

CY - Brussels, Belgium

T2 - EAI International Conference on Performance Evaluation Methodologies and Tools 2015

Y2 - 14 December 2015 through 16 December 2015

ER -

van den Berg F, Haverkort BRHM, Hooman J, Knottenbelt W, (ed.), Wolter K, (ed.), Busic A, (ed.) et al. Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. In Knottenbelt W, Wolter K, Busic A, Gribaudo M, Reinecke P, editors, Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 2015. p. 158-163 doi: 10.4108/eai.14-12-2015.2262725

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this