Qualitative analysis of a BDMP by Finite Automaton

Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011

Volumn , Issue , 2012, Pages 2050-2057

  Chaux, Pierre Yves ^a,b   Roussel, Jean Marc ^a,b   Lesage, Jean Jacques ^a,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

[No Author keywords available]

Indexed keywords

BOOLEAN LOGIC; CRITICAL SYSTEMS; FAULT TREE MODEL; GLOBAL FAILURE; QUALITATIVE ANALYSIS; SEMANTIC ANALYSIS; STATE SPACE;

MARKOV PROCESSES; RELIABILITY ANALYSIS; RISK MANAGEMENT; SEMANTICS;

QUALITY CONTROL;

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

References (11)

1. Bobbio, A. and Raiteri, D. (2004). Parametric fault trees with dynamic gates and repair boxes. In Reliability and Maintainability, 2004 Annual Symposium-RAMS, pp. 459-465.
2. Boudali, H., Crouzen, P. and Stoelinga, M. (2007). A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. Lecture Notes in Computer Science 4762, 441.
3. Boudali, H. and Dugan, J. (2005). A new Bayesian network approach to solve dynamic fault trees. In Reliability and Maintainability Symposium, volume 17.
4. Bouissou, M. and Bon, J. (2003). A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes. Reliability Engineering and System Safety 82(2), 149-163.
5. Coppit, D., Sullivan, K. and Dugan, J. (2000). Formal semantics of models for computational engineering: a casestudy on dynamic fault trees. In 11th International Symposium on Software Reliability Engineering, 2000. ISSRE 2000. Proceedings, pp. 270-282.
6. Dugan, J., Bavuso, S. and Boyd, M. (1992). Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on reliability 41(3), 363-377.
7. Henley, E. and H. Kumamoto (1981). Reliability engineering and risk assessment. Prentice-Hall Englewood Cliffs (NJ).
8. Kleene, S. (1956). Representation of events in nerve nets and finite automata. Automata studies (34), 3.
9. Merle, G., Roussel, J.-M. and Lesage, J.-J. (2011). Algebraic Determination of the Structure Function of Dynamic Fault Trees. Reliability Engineering and System Safety 96(2), 267-277.
10. Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J. and Railsback, J. (2002). Fault tree handbook with aerospace applications.
11. Tang, Z. and Dugan, J. (2004). Minimal cut set/Sequence generation for dynamic fault trees. In Reliability and Maintainability, 2004 Annual Symposium-RAMS, pp. 207-213.