Dynamic fault tree analysis based on the structure function

This paper presents an algebraic approach allowing to perform the analysis of any Dynamic Fault Tree (DFT). This approach is based on the ability to formally express the structure function of DFTs. We first present the algebraic framework that we introduced to model dynamic gates and hence be able t...

Full description

Saved in:
Bibliographic Details
Published in2011 Proceedings - Annual Reliability and Maintainability Symposium pp. 1 - 6
Main Authors Merle, G, Roussel, J, Lesage, J
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.01.2011
Subjects
Analytical models
Boolean function
Computational modeling
Computers
Discrete Fourier transforms
Fault trees
Logic gates
Probabilistic logic
probability
reliability
symbol manipulation
Online AccessGet full text
ISBN9781424488575
1424488575
ISSN0149-144X
DOI10.1109/RAMS.2011.5754452

Cover

More Information
Summary:This paper presents an algebraic approach allowing to perform the analysis of any Dynamic Fault Tree (DFT). This approach is based on the ability to formally express the structure function of DFTs. We first present the algebraic framework that we introduced to model dynamic gates and hence be able to determine the structure function of DFTs. Then, we show that this structure function can be rewritten under a canonical form from which the qualitative analysis of DFTs can be performed directly. We finally provide a probabilistic model of dynamic gates to be able to perform the quantitative analysis of DFTs from their structure function.
ISBN:9781424488575
1424488575
ISSN:0149-144X
DOI:10.1109/RAMS.2011.5754452