Print Email Facebook Twitter Computing response time distributions using iterative probabilistic model checking Title Computing response time distributions using iterative probabilistic model checking Author Van Den Berg, Freek Hooman, Jozef Hartmanns, Arnd Haverkort, Boudewijn R. Remke, Anne Contributor Beltrán, Marta (editor) Knottenbelt, William (editor) Bradley, Jeremy (editor) Publication year 2015 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. Subject ICTESI - Embedded Systems InnovationTS - Technical SciencesHigh Tech Systems & MaterialsInformaticsIndustrial InnovationComputer programming languagesHigh level languagesImage processingIterative methodsProbability distributionsProblem oriented languagesResponse time (computer systems)Systems analysisHigh-level domainPerformance requirementsProbabilistic choicesProbabilistic model checkingReal time aspectsReal time modelingResponse time distributionSystem designers To reference this document use: http://resolver.tudelft.nl/uuid:8ddd1a59-79c9-4866-b088-67064a782ea9 DOI https://doi.org/10.1007/978-3-319-23267-6 TNO identifier 529432 Publisher Springer International Publishing ISBN 9783319232669 Source 12th European Performance Engineering Workshop, EPEW 2015; Madrid; Spain; 31 August 2015 through 1 September 2015, 9272, 208-224 Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Document type bookPart Files To receive the publication files, please send an e-mail request to TNO Library.