A generalization of Dynamic Fault Trees through Boolean logic Driven Markov Processes (BDMP)®

Proceedings of the European Safety and Reliability Conference 2007, ESREL 2007 - Risk, Reliability and Societal Safety

Volumn 2, Issue , 2007, Pages 1051-1058

  Bouissou, M ^a  

^a EDF R AND D   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; FAULT TREE ANALYSIS; MARKOV PROCESSES; PROBABILITY DENSITY FUNCTION; QUALITY ASSURANCE; RISK PERCEPTION;

BOOLEAN LOGICS; COMBINATORIAL PROBLEMS; CONTINUOUS TIME MARKOV CHAINS; DYNAMIC FAULT TREES; FAULT TREES; MARKOV CHAINS; MATHEMATICAL PROPERTIES; REPAIRABLE SYSTEMS;

RELIABILITY;

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

References (7)

1. Bouissou, M. 2005. Automated Dependability Analysis of Complex Systems with the KB3 Workbench: the Experience of EDF R&D. Proceedings of The International Conference on ENERGY and ENVIRONMENT, CIEM 2005, Bucharest, (Romania), October 2005.
2. Bouissou, M., Bon, J.L. 2003. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes Reliability Engineering and System Safety, Volume 82, Issue 2, 149-163.
3. Coppit, D., Sullivan, K.J., Dugan, J.B. 2000. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees. Proceedings of the International Symposium on Software Reliability Engineering, 270-282, San Jose, California, 8-11 October 2000.
4. Gulati, R.1996. A modular approach to static and dynamic fault tree analysis Master's thesis, University of Virginia. Department of Electrical Engineering.
5. Manian, R., Dugan, J. B., Coppit, D., Sullivan, K. J. 1998. Combining various solution techniques for dynamic fault tree analysis of computer systems Proceedings of 3rd IEEE International High-Assurance Systems Engineering Symposium, 21-28.
6. Montani, S., Portinale, L., Bobbio, A., Varesio, M., 2006. A tool for automatically translating Dynamic Fault trees into Dynamic Bayesian Networks In: proc RAMS'06.
7. Bouissou, M., Dutuit, Y., Maillard, S., 2005. Reliability Analysis of a Dynamic Phased Mission System: Comparison of Two Approaches. In Modern Statistical and Mathematical Methods in Reliability, Wilson A., Limnios N., Keller-McNulty S., Armijo Y. (eds) Singapore, World Scientific, 87-104.