A reduction approach to improve the quantification of linked fault trees through binary decision diagrams

Vesely, 1970, A time dependant methodology for fault tree evaluation, Nuclear Engineering Design, 13, 337, 10.1016/0029-5493(70)90167-6 Bryant, 1986, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, C-35, 667, 10.1109/TC.1986.1676819 Bryant, 1992, Symbolic manipulation with ordered binary decision diagrams, ACM Computing Surveys, 24, 293, 10.1145/136035.136043 Epstein, 2005, Can we trust PRA?, Reliability Engineering and System Safety, 88, 195, 10.1016/j.ress.2004.07.013 Andrews, 2000, Event-tree analysis using binary decision diagrams, IEEE Transactions on Reliability, 49, 230, 10.1109/24.877343 Contini, 2008, On the use of non-coherent fault trees in safety and security studies, Reliability Engineering and System Safety, 93, 1886, 10.1016/j.ress.2008.03.018 Izquierdo JM, Hortal J, Sánchez Perea M, Meléndez E. An integrated PSA approach to independent regulatory evaluations of nuclear safety assessments of Spanish nuclear power stations. CSN Publication ODE-04.18, 2002. Meléndez E, Izquerdo JM, Sánchez M, Hortal J, Pérez-Mulas A. Tree simulation techniques for integrated safety assessment, CSNI specialist meeting on simulators and plant analysers, Espoo, Finlandia, 1999. Contini, 1995, A new hybrid method for fault tree analysis, Reliability Engineering and System Safety, 49, 13, 10.1016/0951-8320(95)00021-S Rauzy, 2003, Toward an efficient implementation of the MOCUS algorithm, IEEE Transactions on Reliability, 52, 175, 10.1109/TR.2003.813160 Jung, 2004, A fast BDD algorithm for large coherent fault tree analysis, Reliability Engineering and System Safety, 83, 369, 10.1016/j.ress.2003.10.009 Čepin, 2005, Analysis of truncation limit in probabilistic safety assessment, Reliability Engineering and System Safety, 87, 395, 10.1016/j.ress.2004.06.009 Rauzy, 1993, New algorithms for fault trees analyses, Reliability Engineering and System Safety, 40, 203, 10.1016/0951-8320(93)90060-C Rauzy, 1996, A brief introduction to binary decision diagrams, European Journal of Automation (Journal Européen des Sytemes Automatises), 30, 1033 Sinnamon, 1996, Quantitative fault tree analysis using binary decision diagrams, Journal Europeen des Systemes Automatises. Special Issue on Binary Decision Diagrams, 30, 1051 Brace KS, Rudell RL, Bryant RE. Efficient implementation of a BDD package. In: Proceedings of ACM/IEEE design automation conference (DAC’90), Orlando, Florida, USA. 1990. Rudell RL. Dynamic variable ordering for ordered binary decision. In: Proceedings of the IEEE/ACM international conference on computer-aided design. ICCAD’9, Santa Clara, California, USA, 1993. Bollig, 1996, Improving the variable ordering of OBDD is NP-complete, IEEE Transactions on Software Engineering, 45, 993 Friedman, 1990, Finding the optimal variable ordering for binary decision diagrams, IEEE Transactions on Computers, C-39, 710, 10.1109/12.53586 Bouissou, 1997, Based fault tree processing: a comparison of variable ordering heuristics, 2045 Nikolskaia, 1999, Fine-tuning of Boolean formulae preprocessing techniques, 1027 Ibañez-Llano, 2008, Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 222, 7, 10.1243/1748006XJRR67 Izquierdo, 1996, Relationships between probabilistic dynamics and event trees, Reliability Engineering and System Safety, 52, 197, 10.1016/0951-8320(95)00134-4 Rauzy, 2001, Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, 50, 389, 10.1109/24.983400 Jung, 2008, Fast BDD truncation method for efficient top event probability calculation, Nuclear Engineering and Technology, 40, 63, 10.5516/NET.2008.40.7.571 Jung, 2005, Development of measures to estimate truncation error in fault tree analysis, Reliability Engineering and System Safety, 90, 30, 10.1016/j.ress.2004.09.007 Ibañez-Llano, 2009, Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 223, 301, 10.1243/1748006XJRR259