Loughborough University
Browse
02_RISK_BDDFT_KRJDA.pdf (396.07 kB)

Modularised binary decision diagrams for fault tree analysis

Download (396.07 kB)
online resource
posted on 2008-09-15, 13:43 authored by Karen A. Reay, J.D. Andrews
The use of Binary Decision Diagrams(BDDs)in fault tree analysis provides an exact and efficient means of analysing a system. However, the construction of the BDD first requires the selection of a variable ordering scheme, which has a crtical effect on its resulting size. Previous research has failed to identify any scheme that is capable of producing BDDs for fault trees. This paper proposes a method aimed at increasing the likelihood of obtaining a BDD for any fault tree, through the application ofa series of techniques that ensure the calculations become as efficient as possible.

History

School

  • Aeronautical, Automotive, Chemical and Materials Engineering

Department

  • Aeronautical and Automotive Engineering

Citation

REAY, K.A. and ANDREWS, J.D., 2002. Modularised binary decision diagrams for fault tree analysis. Proceedings of the 3rd Edinburgh Conference on Risk, Edinburgh, April 2002

Publisher

© Karen A. Reay and John D. Andrews

Publication date

2002

Notes

This is a conference paper

Language

  • en

Usage metrics

    Loughborough Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC