Preliminary System Safety Analysis with Limited Markov Chain Generation

Abstract : Markov chains are a powerful and versatile tool to calculate reliability indicators. However, their use is limited for two reasons: the exponential blow-up of the size of the model, and the di culty to design models. To overcome this second di culty, a solution consists in generating automatically the Markov chain from a higher level description, e.g. a stochastic Petri net or an AltaRica model. These higher level models describe the Markov chain implicitly. In this article, we propose an algorithm to generate partial Markov chains. The idea is to accept a little loss of accuracy in order to limit the size of the generated chain. The cornerstone of this method is a Relevance Factor associated to each state of the chain. This factor enables the selection of the most representative states. We show on an already published test case, that our method provides very accurate results while reducing dramatically the complexity of the assessment. It is worth noticing that the proposed method can be used with different high-level modeling formalisms.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download
Contributor : Pierre-Antoine Brameret <>
Submitted on : Friday, September 6, 2013 - 3:59:43 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:27 PM
Long-term archiving on : Saturday, December 7, 2013 - 4:20:49 AM


Files produced by the author(s)


  • HAL Id : hal-00859173, version 1



Pierre-Antoine Brameret, Jean-Marc Roussel, Antoine Rauzy. Preliminary System Safety Analysis with Limited Markov Chain Generation. 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°3. ⟨hal-00859173⟩



Record views


Files downloads