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

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. Rauzy, 1997, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering and System Safety, 58, 127, 10.1016/S0951-8320(97)00034-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. Sinnamon, 1997, New approaches to evaluating fault trees, Reliability Engineering and System Safety, 58, 89, 10.1016/S0951-8320(96)00036-1 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. Coudert, 1994, MetaPrime: an interactive fault-tree analyzer, IEEE Transactions on Reliability, R-43, 121, 10.1109/24.285125 Rauzy, 1993, New algorithms for fault trees analysis, Reliability Engineering and System Safety, 40, 203, 10.1016/0951-8320(93)90060-C Lee, 1959, Representation of switch circuits by binary-decision programs, Bell System Technology Journal, 38, 985, 10.1002/j.1538-7305.1959.tb01585.x Akers, 1978, Binary decision diagram, IEEE Transactions on Computers, C-27, 509, 10.1109/TC.1978.1675141 Bryant, 1986, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, C-35, 677, 10.1109/TC.1986.1676819 Bryant, 1992, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Computing Surveys, 24, 293, 10.1145/136035.136043 Katz, 1994 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. Camarinopoulos, 1985, An improved top-down algorithm combined with modularization as a highly efficient method for fault tree analysis, Reliability Engineering, 11, 93, 10.1016/0143-8174(85)90049-6 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.