[1] J. B. Dugan, S. J. Bavuso,M. A. Boyd, “Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems,” IEEE Transactions on Reliability, Vol. 41, No. 3, pp. 363-377, 1992 [2] W. Vesely, M. Stamatelatos, J. Dugan, J. Fragola, J. Minarick III,J. Railsback, “Fault Tree Handbook with Aerospace Applications Version 1.1,” NASA Office of Safety and Mission Assurance, NASA HQ, 2002 [3] K. B. Misra, “Handbook of Performability Engineering,” Springer Science & Business Media, 2008 [4] W. Long, “On the Quantitative Analysis of Sequential Failure Logic using Monte Carlo Method for Different Distributions,” inProceedings of Probabilistic Safety Assessment and Management, pp. 391-396, 2002 [5] G. Merle, J. -M. Roussel, J. -J. Lesage, V. Perchet, and N. Vayatis, “Quantitative Analysis of Dynamic Fault Trees based on the Coupling of Structure Functions and Monte Carlo Simulation,” Quality and Reliability Engineering International, Vol. 32, No. 1, pp. 7-18, 2016 [6] H. Boudali and J. B. Dugan, “A Discrete-Time Bayesian Network Reliability Modeling and Analysis Framework,” Reliability Engineering & System Safety, Vol. 87, No. 3, pp. 337-349, 2005 [7] S. Kabir, M. Walker,Y. Papadopoulos, “Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks,” in Model-based Safety and Assessment, pp. 96-109, Springer, 2014 [8] G. Merle, J. M. Roussel,J. J. Lesage, “Algebraic Determination of the Structure Function of Dynamic Fault Trees,” Reliability Engineering & System Safety, Vol. 96, No. 2, pp. 267-277, 2011 [9] R. E. Bryant, “Graph-based Algorithms for Boolean Function Manipulation,” IEEE Transactions on Computers, Vol. 100, No. 8, pp. 677-691, 1986 [10] A. Rauzy, “New Algorithms for Fault Trees Analysis,” Reliability Engineering & System Safety, Vol. 40, No. 3, pp. 203-211, 1993 [11] L. D. Xing, A. Shrestha, L. Meshkat,W. D. Wang, “Incorporating Common-Cause Failures into the Modular Hierarchical Systems Analysis,” IEEE Transactions on Reliability, Vol. 58, No. 1, pp. 10-19, 2009 [12] L. Xing and Y. Dai, “A New Decision-Diagram-based Method for Efficient Analysis on Multistate Systems,” IEEE Transactions on Dependable and Secure Computing, Vol. 6, No. 3, pp. 161-174, 2009 [13] L. Xing and J. B. Dugan, “A Separable Ternary Decision Diagram based Analysis of Generalized Phased-Mission Reliability,” IEEE Transactions on Reliability, Vol. 53, No. 2, pp. 174-184, 2004 [14] T. Sasao, “Ternary Decision Diagrams: Survey,” inProceedings of International Symposium on Multiple-Valued Logic, pp. 241, 1997 [15] L. Xing, A. Shrestha, L. Meshkat,W. Wang, “Incorporating Common-Cause Failures into the Modular Hierarchical Systems Analysis,” IEEE Transactions on Reliability, Vol. 58, No. 1, pp. 10-19, 2009 [16] J. B. Dugan, B. Venkataraman,R. Gulati, “Diftree: A Software Package for the Analysis of Dynamic Fault Tree Models,” inProceedings of Symposium on Reliability and Maintainability, pp. 64-70, 1997 [17] L. Xing, O. Tannous,J. B. Dugan, “Reliability Analysis of Nonrepairable Cold-Standby Systems using Sequential Binary Decision Diagrams,” IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, Vol. 42, No. 3, pp. 715-726, 2011 |