Systematic extraction of minimal cut sequences from a BDMP model

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012

Volumn 4, Issue , 2012, Pages 3344-3351

  Chaux, Pierre Yves ^a,b   Roussel, Jean Marc ^a   Lesage, Jean Jacques ^a   Deleuze, Gilles ^b   Bouissou, Marc ^b,c  

^a Ecole Normale Superieure de Cachan   (France)

^b EDF R AND D   (France)

^c ECOLE CENTRALE PARIS   (France)

Author keywords

BDMP; Dynamic fault tree; Finite automata; Minimal cut sequence; Repairable system

Indexed keywords

BDMP; BOOLEAN LOGIC; CRITICAL SYSTEMS; DYNAMIC FAULT TREES; FAULT-TREES; MINIMAL CUT SEQUENCE; REPAIRABLE SYSTEMS; RISK MODELING; SYSTEM FAILURES;

MARKOV PROCESSES; RELIABILITY ANALYSIS; SAFETY ENGINEERING;

FINITE AUTOMATA;

EID: 84873106462     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Dugan, JB., Bavuso, SJ and Boyd, MA. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on reliability. 41(3), pp. 363-377, 1992.
2. Tang, Z. and Dugan, JB. Minimal cut set/Sequence generation for dynamic fault trees. Reliability and Maintainability, 2004 Annual Symposium-RAMS, pp. 207-213. 2004.
3. Rauzy, A. and Dutuit, Y. Exact and truncated computations of prime implicants of coherent and noncoherent fault trees within Aralia. Reliability Engineering and System Safety. 58(2), pp. 127-144. 1997.
4. Merle, G. Roussel, J.-M. Lesage, J.-J. and Vayatis, N. Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates, Proceedings of ESREL 2010, pp. 794-801, 2010.
5. Liu, D. and Xing, W. and Zhang, C. and Li, R. and Li, H. Cut sequence set generation for fault tree analysis. Embedded Software and Systems, pp. 592-603. 2007.
6. Merle, G. Roussel, J.-M.and Lesage, J.-J. Algebraic Determination of the Structure Function of Dynamic Fault Trees. Reliability Engineering and System Safety. 96(2), pp. 267-277. 2011.
7. Bouissou, M. and Bon, J.L. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes. Reliability Engineering and System Safety. 82(2), pp. 149- 163. 2003.
8. Chaux, P.-Y., Roussel, J.-M., Lesage, J.-J., Deleuze, G. and Bouissou, M. Qualitative analysis of a BDMP by Finite Automaton. Proceedings of ESREL 2011, pp. 2050-2057. 2011.