An approach to use BDD during the fault tree editing and analyzing

Jiao Zhong,Jiejuan Tong,Xuhong He

2006-01-01

Abstract:The methods based on Binary Decision Diagram (BDD) to solve the fault tree models have been studied in recent years. The processes of these methods generally include: converting the existing fault tree models into BDDs based on Shannon decomposition, simplifying the BDDs and traversing the BDDs to obtain all the cut sets. After the converting process from a fault tree to a BDD, the important information such as logic gates is lost. Although the resulted BDD and the original fault tree can represent the same Boolean function, it is difficult to modify the resulted BDD directly if there's a requirement to make some even tiny modifications on it. This paper presents an approach to use BDD in the process of fault tree editing. It intends to encode the fault tree directly by BDD from the beginning (editing stage), and the basic editing actions required by fault tree model editing, such as adding/deleting logic vertexes (gates and basic events) and modifying the related properties of the logic vertexes (TRUE/FALSE), can be put on the BDD structures. The approach will decrease the computation time further because the converting process will be minimized. Meanwhile, it tries to retain the important modeling information of fault trees which are useful for the users' understanding. © 2006 by ASME.