Binary decision diagrams applied to fault tree analysis

2008 ◽  
Author(s):  
F. Pedro ◽  
G. Marquez
Keyword(s):  
Binary Decision Diagrams ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Tree Analysis

Design and Development of DeRisk: A Fault Tree Analysis Program Package

2018 ◽  
Author(s):  
Zhenxu Zhou ◽  
Hao Nie ◽  
Qin Zhang
Keyword(s):  
Fault Tree ◽  
Fault Tree Analysis ◽  
Good Choice ◽  
Binary Decision Diagram ◽  
Program Package ◽  
Analysis Program ◽  
Binary Decision ◽  
Tree Analysis ◽  
Input Module ◽  
Low Efficiency

Fault tree analysis (FTA) has been proven to be a very important tool and has been successfully applied to safety/reliability studies in nuclear, chemical, military, space industries/systems. Hitherto, several useful and popular FTA software/program packages have been developed, like CAFTA+, FAUNET, RiskSpectrum, SAPHIRE, RiskA etc. Minimum Cut Set (MCS) method is the most commonly used traditional FTA method. However, it suffers from low efficiency when solving remarkably large fault trees (FTs). To overcome the shortcomings of the traditional method, several new techniques are proposed such as Binary Decision Diagram (BDD), Zero-suppressed Binary Decision Diagram, (ZBDD) Petri Net (PN), Bayesian Network (BN) and Dynamic Uncertain Causality Graph (DUCG). DUCG is a newly presented Probabilistic Graphic Model to deal with systems with dynamics, uncertainties and logic cycles. DUCG is a good choice to analyze large FTs, in our previous papers, we have proved that any FT can be mapped into a DUCG graph and additional modeling and analytical power can be achieved. DeRisk is a DUCG embedded risk analysis program package written in C# for FTA and is designed as a powerful tool to assist reliability engineers. In this paper, the design schema and the main algorithms of DeRisk are introduced. DeRisk contains five parts: (1) A Graphical User Interface (GUI) Module which interacts with users; (2) A Preprocessing Module which preprocesses FTs (3) An Input Module which allows user to input necessary data by file or by command line; (4) A Calculation Module which offers qualitative/quantitative analysis; (5) An Output Module which outputs the results required by users. Some illustrative examples are used to verify the correctness and effectiveness of DeRisk.

Research of the Node Ordering Technique According to the Shortest Fault Tree

2017 ◽  
Author(s):  
Guofeng Tang ◽  
Jingyu Zhang ◽  
Wei Gao ◽  
Qinfang Zhang
Keyword(s):  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Binary Decision ◽  
Tree Analysis ◽  
Advanced Method ◽  
Probabilistic Safety Assessment ◽  
The Core ◽  
Minimal Cut Sets ◽  
Variable Ordering

Zero-suppressed Binary Decision Diagram (ZBDD) algorithm is an advanced method in fault tree analysis, which is developing quickly in recent years and being used in the development of the Probabilistic Safety Assessment (PSA) Quantification Engine. This algorithm converts a fault tree to a ZBDD structure, solves the minimal cut sets and calculates the top node unavailability. The ordering of the basic events and logical gates is the core technique of the ZBDD algorithm, which determines the efficiency of the ZBDD conversion and the size of the ZBDD structure. A variable ordering method based on the structure of the fault tree is developed in this paper, which gives a better basic events order by compressing the fault tree; meanwhile, the method offers a logical gates order. The nodes order derived from this method can accelerate the ZBDD conversion obviously.

scholarly journals Event-tree analysis using binary decision diagrams

2000 ◽  
Vol 49 (2) ◽  
pp. 230-238 ◽  
Author(s):  
J.D. Andrews ◽  
S.J. Dunnett
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Event Tree ◽  
Event Tree Analysis ◽  
Binary Decision ◽  
Tree Analysis
Sign in / Sign up

Export Citation Format

Share Document