@inproceedings{789afa556c5341298c13cd2ad630cc8a,
title = "Computing Response Time Distributions Using Iterative Probabilistic Model Checking",
abstract = "System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.",
keywords = "EWI-26291, IR-98151, METIS-314965",
author = "{van den Berg}, Freek and Jozef Hooman and Arnd Hartmanns and Haverkort, {Boudewijn R.H.M.} and Remke, {Anne Katharina Ingrid}",
note = "eemcs-eprint-26291 ; 12th European Workshop on Computer Performance Engineering, EPEW 2015, Madrid, Spain : Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015 ; Conference date: 30-08-2015",
year = "2015",
month = aug,
day = "31",
doi = "10.1007/978-3-319-23267-6_14",
language = "English",
isbn = "978-3-319-23266-9",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "208--224",
editor = "Marta Beltran and William Knottenbelt and Jeremy Bradley",
booktitle = "Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015)",
address = "Germany",
}