Systematic extraction of Minimal Cut Sequences from a BDMP model
Résumé
The Boolean logic Driven Markov Processes (BDMPs) have been developed by EDF to conduct predictive risk modeling and assessment for critical systems. A BDMP is a dynamic model based on fault trees dedicated to repairable systems. The qualitative reliability analyses performed on this kind of model consist in computing the minimal scenarios that lead to the system failure which are known as Minimal Cut Sequences (MCS). This paper defines the concept of Minimal Cut sequences for BDMPs and gives a way to compute them using an equivalent finite automaton developed in our previous works.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...