02_RISK_BDDFT_KRJDA.pdf (396.07 kB)
Modularised binary decision diagrams for fault tree analysis
online resource
posted on 2008-09-15, 13:43 authored by Karen A. Reay, J.D. AndrewsThe 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 2002Publisher
© Karen A. Reay and John D. AndrewsPublication date
2002Notes
This is a conference paperLanguage
- en