Efficiently computing latency distributions by combined performance evaluation techniques
conference paper
Service-oriented systems are designed for interconnecting with other systems. The provided services face timing constraints, the so-called latencies. We present a high-level performance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This technique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the technique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space explosion) 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. © Copyright 2016 ICST.
Topics
Basic estimationsDomain specific languagePerformance evaluationProbablistic model checkingSimulationAlgorithmsComputer programming languagesImage processingProblem oriented languagesDomain specific languagesPerformance evaluationProbablistic modelsReal time aspectsService Oriented SystemsSimulationState-space explosionTiming constraintsModel checking
TNO Identifier
535440
ISBN
9781631900969
Publisher
ICST
Source title
9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Editor(s)
Gribaudo M.
Reinecke P.
Wolter K.
Knottenbelt W.
Busic A.
Reinecke P.
Wolter K.
Knottenbelt W.
Busic A.
Files
To receive the publication files, please send an e-mail request to TNO Repository.