Print Email Facebook Twitter Efficiently computing latency distributions by combined performance evaluation techniques Title Efficiently computing latency distributions by combined performance evaluation techniques Author van den Berg, F. Haverkort, B.R. Hooman, J. Contributor Gribaudo, M. (editor) Reinecke, P. (editor) Wolter, K. (editor) Knottenbelt, W. (editor) Busic, A. (editor) Publication year 2015 Abstract 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. Subject Communication & InformationESI - Embedded Systems InnovationTS - Technical SciencesHigh Tech Systems & MaterialsIndustrial InnovationBasic estimationsDomain specific languagePerformance evaluationProbablistic model checkingSimulationAlgorithmsComputer programming languagesImage processingProblem oriented languagesDomain specific languagesPerformance evaluationProbablistic modelsReal time aspectsService Oriented SystemsSimulationState-space explosionTiming constraintsModel checking To reference this document use: http://resolver.tudelft.nl/uuid:a92e1000-ccba-4f11-b670-e2ac633e6b6f DOI https://doi.org/10.4108/eai.14-12-2015.2262725 TNO identifier 535440 Publisher ICST ISBN 9781631900969 Source 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 Document type conference paper Files To receive the publication files, please send an e-mail request to TNO Library.