Computing Response Time Distributions Using Iterative Probabilistic Model Checking
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.
Unable to display preview. Download preview PDF.
- 1.Beilner, H., Mater, J., Weissenberg, N.: Towards a performance modelling environment: news on HIT. In: Modeling Techniques and Tools for Computer Performance Evaluation, pp. 57–75. Plenum Press (1989)Google Scholar
- 2.van den Berg, F., Remke, A., Haverkort, B.R.: A domain specific language for performance evaluation of medical imaging systems. In: 5th Workshop on Medical Cyber-Physical Systems, pp. 80–93. Schloss Dagstuhl (2014)Google Scholar
- 3.van den Berg, F., Remke, A., Haverkort, B.: iDSL: Automated performance prediction and analysis of medical imaging systems. In: Computer Performance Engineering, LNCS, vol. 9272. Springer (2015) (to appear)Google Scholar
- 5.Grottke, M., Apte, V., Trivedi, K., Woolet, S.: Response time distributions in networks of queues. In: Queueing Networks, pp. 587–641. Springer (2011)Google Scholar
- 9.Jain, R.: The Art of Computer Systems Performance Analysis. John Wiley & Sons (1991)Google Scholar
- 10.Johnson, J.: Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules. Morgan Kaufmann (2010)Google Scholar
- 12.Kontogiannis, K., Lewis, G., Smith, D. and Litoiu, M., Muller, H., Schuster, S., Stroulia, E.: The landscape of service-oriented systems: a research perspective. In: Proceedings of the International Workshop on Systems Development in SOA Environments, p. 1. IEEE Computer Society (2007)Google Scholar