Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function

This paper presents a probabilistic model of dynamic gates which allows to perform the quantitative analysis of any Dynamic Fault Tree (DFT) from its structure function. Both these probabilistic models and the quantitative analysis which can be performed thanks to them can accommodate any failure distribution of basic events. We illustrate our approach on a DFT example from the literature.

[1]  David Coppit,et al.  Formal semantics of models for computational engineering: a case study on dynamic fault trees , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[2]  Jean-Jacques Lesage,et al.  Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events , 2010, IEEE Transactions on Reliability.

[3]  Suguo Du,et al.  New Progressive Variable Ordering for Binary Decision Diagram Analysis of Fault Trees , 2005 .

[4]  Joanne Bechta Dugan,et al.  A discrete-time Bayesian network reliability modeling and analysis framework , 2005, Reliab. Eng. Syst. Saf..

[5]  J. Dugan,et al.  Minimal cut set/sequence generation for dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[6]  G. Grimmett,et al.  Probability and random processes , 2002 .

[7]  David Coppit,et al.  Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..

[8]  Suprasad V. Amari,et al.  A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..

[9]  Frank Ortmeier,et al.  Safety analysis of the height control system for the Elbtunnel , 2002, Reliab. Eng. Syst. Saf..

[10]  Guillaume Merle,et al.  Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis , 2010 .

[11]  Dinesh Kumar,et al.  Modeling system behavior for risk and reliability analysis using KBARM , 2007, Qual. Reliab. Eng. Int..

[12]  Tzong-Shi Liu,et al.  FAILURE ANALYSIS FOR AN AIRBAG INFLATOR BY PETRI NETS , 1997 .

[13]  Elias P. Zafiropoulos,et al.  Methodology for the optimal component selection of electronic devices under reliability and cost constraints , 2007, Qual. Reliab. Eng. Int..

[14]  Huawen Liu,et al.  Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis , 2013, Qual. Reliab. Eng. Int..

[15]  Luigi Portinale,et al.  DBNet, a tool to convert Dynamic Fault Trees into Dynamic , 2005 .

[16]  J.B. Fussell,et al.  On the Quantitative Analysis of Priority-AND Failure Logic , 1976, IEEE Transactions on Reliability.

[17]  John D. Andrews,et al.  A fault tree analysis strategy using binary decision diagrams , 2002, Reliab. Eng. Syst. Saf..

[18]  Jean-Jacques Lesage,et al.  Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates , 2010 .

[19]  John D. Andrews,et al.  Bayesian belief networks for system fault diagnostics , 2009, Qual. Reliab. Eng. Int..

[20]  Jean-Jacques Lesage,et al.  Algebraic determination of the structure function of Dynamic Fault Trees , 2011, Reliab. Eng. Syst. Saf..

[21]  Salvatore J. Bavuso,et al.  Fault trees and sequence dependencies , 1990, Annual Proceedings on Reliability and Maintainability Symposium.

[22]  Jean-Jacques Lesage,et al.  Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static , 2010 .

[23]  S. Montani,et al.  A tool for automatically translating dynamic fault trees into dynamic bayesian networks , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[24]  Valeria Vittorini,et al.  DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems , 2002, Computer Performance Evaluation / TOOLS.

[25]  A. Bobbio,et al.  Parametric fault trees with dynamic gates and repair boxes , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[26]  P. Spreij.  Probability and Measure , 1996 .

[27]  David He,et al.  System Failure Analysis Through Counters of Petri Net Models , 2004 .