Efficient fault tree analysis using binary decision diagrams

The Binary Decision Diagram (BDD) method has emerged as an alternative to conventional techniques for performing both qualitative and quantitative analysis of fault trees. BDDs are already proving to be of considerable use in reliability analysis, providing a more efficient means of analysing a syst...

Full description

Bibliographic Details
Main Author: Reay, Karen A.
Published: Loughborough University 2002
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.398081