Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, Daniël and Boer de, Pieter-Tjerk and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316

Preview

PDF
524Kb

Abstract:	Probabilistic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the numerical methods employed, such as those supported by model checking tools such as PRISM and MRMC, suffer from the state-space explosion problem. The main alternative is statistical model checking, which uses standard Monte Carlo simulation, but this performs poorly when small probabilities need to be estimated. Therefore, we propose a method based on importance sampling to speed up the simulation process in cases where the failure probabilities are small due to the high speed of the system’s repair units. This setting arises naturally in Markovian models of highly dependable systems. We show that our method compares favourably to standard simulation, to existing importance sampling techniques, and to the numerical techniques of PRISM.
Item Type:	Article
Copyright:	© Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS)
Link to this item:	http://purl.utwente.nl/publications/80904
Official URL:	http://dx.doi.org/10.1016/j.peva.2011.11.004
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page