A fault tree analysis strategy using binary decision diagrams

A fault tree analysis strategy using binary decision diagrams

The use of Binary Decision Diagrams (BDDs) in fault tree analysis provides both an accurate and efficient means of analysing a system. There is a problem however, with the conversion process of the fault tree to the BDD. The variable ordering scheme chosen for the construction of the BDD has a crucial effect on its resulting size and previous research has failed to identify any scheme that is c...

Fault tree conversion to binary decision diagrams

Event-tree analysis using binary decision diagrams

and Conclusions This paper is concerned with the analysis of Event Trees where the branch point event causes are defined using Fault Tree structures. Attention is focussed on the non-trivial situation where there are dependencies amongst the branch point events. The dependencies are due to component failure events featuring in one or more of the fault trees. In these situations it is shown that...

Fault tree conversion to binary decision diagrams

Program Analysis Using Binary Decision Diagrams

A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation, we develop new techniques and frameworks for applying BDDs to program analysis, and use our BDD-based analyses to gain new insigh...