Algebraic expression of the structure function of a subclass of Dynamic Fault Trees

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2009, Pages 117-122

  Merle, Guillaume ^a   Roussel, Jean Marc ^a   Lesage, Jean Jacques ^a   Bobbio, Andrea ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Algebraic approach; Dynamic fault tree; Qualitative analysis; Quantitative analysis

Indexed keywords

BOOLEAN FUNCTIONS; CHEMICAL ANALYSIS; GATES (TRANSISTOR); MARKOV PROCESSES;

ALGEBRAIC APPROACHES; ALGEBRAIC EXPRESSION; DYNAMIC FAULT TREES; FAILURE DISTRIBUTIONS; FAILURE PROBABILITY; PRIORITY DYNAMIC FAULT TREES; QUALITATIVE ANALYSIS; STRUCTURE FUNCTIONS;

FAULT TREE ANALYSIS;

EID: 79960963603     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090610-3-it-4004.00025     Document Type: Conference Paper

References (12)

1. Amari, S., Dill, G., and Howals, E. (2003). A new approach to solve dynamic fault-trees. In Proceedings IEEE Annual Reliability and Maintainability Symposium (RAMS), 374-379. Tampa, FL USA.
2. Bobbio, A. and Raiteri, D.C. (2004). Parametric faulttrees with dynamic gates and repair boxes. In Proceedings IEEE Annual Reliability and Maintainability Symposium (RAMS), 459-465. Los Angeles, CA USA.
3. Boudali, H., Crouzen, P., and Stoelinga, M. (2007). Dynamic Fault Tree analysis through input/output interactive Markov chains. In Proceedings International Conference on Dependable Systems and Networks (DSN 2007), 25-38. IEEE Computer Society, Edinburgh, UK.
4. Coppit, D., Sullivan, K.J., and Dugan, J.B. (2000). Formal semantics of models for computational engineering: a case study on dynamic fault trees. In International Symposium on Software Reliability Engineering (ISSRE'2000), 270-282. San Jose, CA USA. (Pubitemid 32024667)
5. Dugan, J.B., Bavuso, S., and Boyd, M. (1992). Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3), 363-377. (Pubitemid 23555745)
6. Dugan, J.B., Sullivan, K., and Coppit, D. (2000). Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transactions on Reliability, 49(1), 49-59.
7. Dutuit, Y. and Rauzy, A. (1996). A linear-time algorithm to find modules of fault tree. IEEE Transactions on Reliability, 45(3), 422-425. (Pubitemid 126771050)
8. Fussel, J., Aber, E., and Rahl, R. (1976). On the quantitative analysis of priority-and failure logic. IEEE Transactions on Reliability, 25(5), 324-326.
9. Henley, E. and Kumamoto, H. (1981). Reliability Engineering and Risk Assessment. Prentice Hall. 568 p.
10. Merle, G. and Roussel, J.M. (2007). Algebraic modeling of fault trees with Priority AND gates. In Proceedings 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), 175-180. Cachan, France.
11. Merle, G., Roussel, J.M., and Lesage, J.J. (2008). Algebraic Framework for the Modelling of Priority Dynamic Fault Trees. Internal report: http://www.lurpa.enscachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf.
12. Stamatelatos, M. and Vesely, W. (2002). Fault tree handbook with aerospace applications. volume 1.1, 1-205. NASA Office of Safety and Mission Assurance.