Assessment of reliability indicators from automatically generated partial Markov chains

Abstract : Trustworthiness in systems is of paramount importance. Among safety modeling languages, Markov chains are a good tradeoff between the safety concepts that can be modeled and the ease of calculation. However, as they model the different states of the systems, they suffer from the state space explosion. This explosion has two drawbacks: it makes Markov chains very difficult to write by hand for large systems, and large Markov chain calculation is resource consuming. The first drawback is easily tackled by generating Markov chains from higher-level languages (such as AltaRica 3.0).In this thesis, we focused on the partial generation of Markov chains, to tackle the state space explosion of the models. This idea is based on the observation that even large repairable systems spent most of their times in a few number of states, that are close to the nominal state of the system. The partial generation is based on Dijkstra's algorithm and on a so-called relevance factor to generate only the most probable states of the Markov chain. The reliability indicators obtained with such a partial chain can be bounded with a slightly different Markov chain.The partial generation method is fully implemented in the AltaRica 3.0 project to automatically calculate the reliability indicators of a system modeled in AltaRica. Different experiments illustrate the practability of the method, as well as its strengths and weaknesses.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01230869
Contributor : Abes Star <>
Submitted on : Thursday, November 19, 2015 - 10:53:18 AM
Last modification on : Wednesday, June 27, 2018 - 3:07:44 AM
Long-term archiving on : Friday, April 28, 2017 - 8:34:07 PM

File

ThesisPAB.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01230869, version 1

Citation

Pierre-Antoine Brameret. Assessment of reliability indicators from automatically generated partial Markov chains. Other. École normale supérieure de Cachan - ENS Cachan, 2015. English. ⟨NNT : 2015DENS0032⟩. ⟨tel-01230869⟩

Share

Metrics

Record views

579

Files downloads

660