Abstract:In BDD-based fault tree analysis, the size of BDD encoding fault trees heavily depends on the chosen ordering. From a theoretical point of view, finding the best ordering is an intractable task. So, heuristics are used to get good orderings. The most simple, and often one of the best heuristics is depth first left most (DFLM) heuristic. Although having been used widely, the performance of DFLM heuristic is still only vaguely understood, and not much formal work has been done. This paper starts from two different research objects: fault tree without repeated events (NRFT) and fault tree with repeated events (RFT). For NRFT, the BDD generated according to DFLM ordering is proved to be the smallest BDD with the size equal to the total number of events. For RFT, a randomized algorithm is firstly proposed to create reliable benchmarks including large number of random fault trees with different specificities. Then, these benchmarks are used to perform two types of experiments to study the performance of DFLM heuristic. For RFT with small number of repeated events, it is found that the sizes of the BDD built over DFLM orderings are only slightly larger than the sizes of the RFT with different specificities. However, with the increase of the number of repeated events, we encounter the size explosion problem, and the change of repeated event distribution patterns will have a significant impact on the sizes of the BDD built over DFLM orderings. We also find that the number of repeated events is the more important measure than some other specificities (shape, logical type of top gate and OR/AND gate distribution) to estimate the level of the difficulty in BDD-based fault tree analysis.

A new ordering method of basic events in dynamic fault tree for sequential binary decision diagram

Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams

Basic Event Ordering in Fault Tree Analyses Using Binary Decision Diagram

A New Ordering Method of Basic Events in Fault Tree Analysis.

Reliability analysis of non‐repairable systems modeled by dynamic fault trees with priority AND gates

Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDD.

Dynamic fault tree analysis based on pivotal decomposition of the structure function

Efficient Ordering Heuristics in Binary Decision Diagram–based Fault Tree Analysis

Exact Combinatorial Reliability Analysis of Dynamic Systems with Sequence-Dependent Failures.

Reliability analysis of complex dynamic fault trees based on an adapted KD Heidtmann algorithm

A Generic Algorithm for Dynamic Fault Tree in Spacecraft with Repeated Events

Depth-First Event Ordering in BDD-Based Fault Tree Analysis

An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees

ICONE23-1293 APPLICATION OF SUBSET SIMULATION METHODS TO DYNAMIC FAULT TREE ANALYSIS

Analyzing Fault Tree by Using Method of Recursive BDD Technique

Reliability Analysis of Dynamic Fault Tree Based on Binary Decision Diagrams for Explosive Vehicle

New approach for constructing BDD from a complex fault tree

A NEW FAULT TREE ANALYSIS METHOD: FUZZY DYNAMIC FAULT TREE ANALYSIS

A Review on the Realization Methods of Dynamic Fault Tree

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

Negating a Generalized Cut Sequence: Bridging the Gap Between Dynamic Fault Trees Quantification and Sum of Disjoint Products Methods.