Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/3645

Title: Fault tree conversion to binary decision diagrams
Authors: Andrews, J.D.
Remenyte, Rasa
Keywords: Fault Tree Analysis
Binary Decision Diagrams
Issue Date: 2005
Publisher: © System Safety Society
Citation: ANDREWS, J.D. and REMENTYE, R., 2005. Fault tree conversion to binary decision diagrams. 23rd International System Safety Conference, August 22-26, 2005, San Diego, Westin Hotel
Abstract: Fault Tree Analysis is a commonly used technique to predict the causes of a specific system failure mode and to then determine the likelihood of this event. Over recent years the Binary Decision Diagram (BDD) method has been developed for the solution of the fault tree. It can be shown that this approach has advantages in terms of both accuracy and efficiency over the conventional method of analysis formulated in the 1970’s. The BDD expresses the failure logic in a disjoint form which gives it an advantage from the computational viewpoint. Fault Trees, however, remain the better way to represent the system failure causality. Therefore the usual way of taking advantage of the BDD structure is to construct a fault tree and then convert this to a BDD. It is on the fault tree conversion process that this paper will focus. In order to construct a BDD the variables which represent the occurrence of the basic events in the fault tree have to be placed in an ordering. Depending on the ordering selected an efficient representation of the failure logic can be obtained or if a poor ordering is selected a less efficient analysis will result. Once the ordering is established one approach is to utilise a set of rules developed by Rauzy which are repeatedly applied to generate the BDD. An alternative approach can be used whereby BDD constructs for each of the gate types are first formed and then joined together as specified by the gates in the fault tree. Some comments on the effectiveness of these approaches will be provided.
Description: This is a conference paper. It was presented at 23rd International System Safety Conference, August 22-26, 2005, San Diego, Westin Hotel.
URI: https://dspace.lboro.ac.uk/2134/3645
ISBN: 0972138552 (CD-ROM)
Appears in Collections:Conference Papers and Contributions (Aeronautical and Automotive Engineering)

Files associated with this item:

File Description SizeFormat
05_ISSC_FTConBDD_JDARRP.pdf807.84 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.