02_RISK_BDDFT_KRJDA.pdf (396.07 kB)
Download file

Modularised binary decision diagrams for fault tree analysis

Download (396.07 kB)
online resource
posted on 15.09.2008, 13:43 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

Keywords

Exports