Simple component-connection method for building binary decision diagrams encoding a fault tree

Reliability Engineering and System Safety

Volumn 70, Issue 1, 2000, Pages 59-70

  Way, Yuan Shun ^a   Hsia, Der Yu ^a  

^a INSTITUTE OF NUCLEAR ENERGY RESEARCH   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DECISION TABLES; ENCODING (SYMBOLS);

BINARY DECISION DIAGRAMS (BDD); COMPONENT CONNECTION METHOD;

FAULT TREE ANALYSIS;

EID: 0034287976     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(00)00048-X     Document Type: Article

References (15)

1. Andrews JD, Bartlett, LM. Efficient basic event ordering for binary decision diagram. Proceedings of the Annual Reliability and Maintainability Symposium, 1998, Anaheim, California USA, 19-22 January 1998. p. 61-8.
2. Rauzy A, Dutuit Y. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia. Reliability Engineering and System Safety 1997;58:127-44.
3. Sinnamon RM, Andrews JD. Fault tree analysis and binary decision diagrams. Proceedings of the Annual Reliability and Maintainability Symposium, 1996, Las Vegas, Nevada, 22-25 January 1996. p. 215-22.
4. Sinnamon RM, Andrews JD. New approaches to evaluating fault trees. Reliability Engineering and System Safety 1997;58:89-96.
5. Bouissou M. An ordering heuristic for building binary decision diagrams from fault-trees. Proceedings of the Annual Reliability and Maintainability Symposium, 1996, Las Vegas, Nevada, 22-25 January 1996. p. 208-14.
6. Coudert O, Madre J-C. MetaPrime: an interactive fault-tree analyzer. IEEE Transactions on Reliability 1994;R-43:121-7.
7. Rauzy A. New algorithms for fault trees analysis. Reliability Engineering and System Safety 1993;40:203-11.
8. Lee CY. Representation of switch circuits by binary-decision programs. Bell System Technology Journal 1959;38(4):985-99.
9. Akers SB. Binary decision diagram. IEEE Transactions on Computers 1978;C-27(6):509-16.
10. Bryant RE. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 1986;C-35(8):677-91.
11. Bryant RE. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 1992;24(3):293-318.
12. Katz RH. Contemporary logic design. Redwood City, California: Benjamin/Cummings, 1994.
13. Berman CL. Ordered binary decision diagrams and circuit structure. In: Proceedings of the 1989 IEEE International Conference on Computer Design, 2-4 October 1989, Cambridge, MA.
14. Camarinopoulos L, Yllera J. An improved top-down algorithm combined with modularization as a highly efficient method for fault tree analysis. Reliability Engineering 1985;11:93-108.
15. Lee SJ, Kao TM, Lin TJ. Benchmark tests of a new fault tree engine INERFTE, accepted to be published at the Fifth International Conference Probabilistic Safety Assessment and Management, 27 November-1 December 2000, Osaka, Japan.