A new approach to solve dynamic fault trees

  title={A new approach to solve dynamic fault trees},
  author={S. Amari and G. Dill and E. Howald},
  journal={Annual Reliability and Maintainability Symposium, 2003.},
The traditional static fault trees with AND, OR and voting gates cannot capture the dynamic behavior of system failure mechanisms such as sequence-dependent events, spares and dynamic redundancy management and priorities of failure events. Therefore, researchers introduced dynamic gates into fault trees to capture these sequence-dependent failure mechanisms. Dynamic fault trees are generally solved using automatic conversion to Markov models; however, this process generates a huge state space… Expand
113 Citations
A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees
  • Yu-chang Mo
  • Computer Science
  • IEEE Transactions on Reliability
  • 2014
  • 34
Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment
  • 257
  • Highly Influenced
  • PDF
An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees
  • 43
Research on the method of dynamic fault tree analysis
  • 6
Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams
  • 33
Reliability and Sensitivity Analysis of Embedded Systems with Modular Dynamic Fault Trees
  • 5
A Stochastic Approach for the Analysis of Dynamic Fault Trees With Spare Gates Under Probabilistic Common Cause Failures
  • 29
  • PDF
Failures analysis of systems modeled by Mixed Fault Trees
  • 1


A modular approach for analyzing static and dynamic fault trees
  • 207
  • Highly Influential
  • PDF
A linear-time algorithm to find modules of fault trees
  • 146
MetaPrime: an interactive fault-tree analyzer
  • 68
Formal semantics of models for computational engineering: a case study on dynamic fault trees
  • D. Coppit, K. Sullivan, J. Dugan
  • Computer Science
  • Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000
  • 2000
  • 73
  • PDF