A Stochastic Approach for the Analysis of Dynamic Fault Trees With Spare Gates Under Probabilistic Common Cause Failures

IEEE Transactions on Reliability

Volumn 64, Issue 3, 2015, Pages 878-892

  Zhu, Peican ^a   Han, Jie ^a   Liu, Leibo ^b   Lombardi, Fabrizio ^c  

^a UNIVERSITY OF ALBERTA   (Canada)

^b TSINGHUA UNIVERSITY   (China)

^c NORTHEASTERN UNIVERSITY   (United States)

Author keywords

cold spare gate; Dynamic fault tree; hot spare gate; non Bernoulli sequence; probabilistic common cause failure; reliability analysis; stochastic computation; stochastic logic; warm spare gate

Indexed keywords

COMPUTATION THEORY; FAULT TREE ANALYSIS; MONTE CARLO METHODS; PROBABILITY; PROBABILITY DISTRIBUTIONS; RELIABILITY; RELIABILITY ANALYSIS; STOCHASTIC SYSTEMS;

BERNOULLI SEQUENCES; COLD SPARE GATE; COMMON CAUSE FAILURE; DYNAMIC FAULT TREES; HOT SPARE GATE; STOCHASTIC COMPUTATIONS; STOCHASTIC LOGIC; WARM SPARE GATE;

STOCHASTIC MODELS;

EID: 85027925139     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2015.2419214     Document Type: Article

References (41)

1. A. Clifton Ericson II, "Fault tree analysis-A history," in Proc. 17th Int. System Safety Conf., Aug. 16-21, 1999.
2. N. G. Leveson, Safeware: System Safety and Computers. Reading, MA, USA: Addison-Wesley, 1995.
3. M. A. Boyd, "Dynamic fault tree models: Techniques for analyses of advanced fault tolerant computer systems," Ph.D. dissertation, Dept. Comput. Sci., Duke Univ., Durham, NC, USA, 1991.
4. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic fault-treemodels for fault-tolerant computer systems," IEEE Trans. Rel., vol. 41, no. 3, pp. 363-377, Sep. 1992.
5. G. Merle, J.-M. Roussel, J.-J. Lesage, and A. Bobbio, "Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events," IEEE Trans. Rel., vol. 59, no. 1, pp. 250-261, Mar. 2010.
6. R. Manian, J. B. Dugan, D. Coppit, and K. J. Sullivan, "Combining various solution techniques for dynamic fault tree analysis of computer systems," in Proc. 3rd IEEE Int. Symp. High-Assurance Systems Engineering (HASE'98), Washington, DC, USA, Nov. 1998, pp. 21-28.
7. H. Boudali, P. Crouzen, and M. Stoelinga, "Dynamic fault tree analysis through input/output interactive Markov chains," in Proc. Int. Conf. Dependable Systems and Networks (DSN 2007), 2007, pp. 25-38.
8. H. Boudali and J. B. Dugan, "A discrete-time Bayesian network reliability modeling and analysis framework," Rel. Eng. Syst. Safety, vol. 87, no. 3, pp. 337-349, 2005.
9. T. Yuge and S. Yanagi, "Quantitative analysis of a fault tree with priority AND gates," Rel. Eng. Syst. Safety, vol. 93, no. 11, pp. 1577-83, 2008.
10. S. Amari, G. Dill, and E. Howald, "A new approach to solve dynamic fault trees," in Proc. Annu. IEEE Reliability and Maintainability Symp., 2003, pp. 374-9.
11. L. Xing, "An efficient binary-decision-diagram-based approach for network reliability and sensitivity analysis," IEEE Trans. Syst., Man, Cybern., vol. 38, no. 1, pp. 105-115, Jan. 2007.
12. O. Tannous, L. Xing, and J. B. Dugan, "Reliability analysis of warm standby systems using sequential BDD," in Proc. 57th Annual Reliability & Maintainability Symp., Orlando, FL, USA, 2011.
13. L. Xing, O. Tannous, and J. B. Dugan, "Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 3, pp. 715-726, May 2012.
14. W. Long, T. L. Zhang, Y. F. Lu, and M. Oshima, "On the quantitative analysis of sequential failure logic using Monte Carlo method for different distributions," in Proc. Probabilistic Saf. Assessment Manage., 2002, pp. 391-396.
15. R. K. Durga et al., "Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment," Rel. Eng. Syst. Safety, vol. 94, no. 4, pp. 872-83, 2009.
16. B. W. Johnson, Design and Analysis of Fault Tolerant Digital Systems. Reading, MA, USA: Addison-Wesley, 1989.
17. H. Chen and J. Han, "Stochastic computational models for accurate reliability evaluation of logic circuits," in Proc. Great Lakes Symp. VLSI (GLVLSI), Providence, RI, USA, 2010, pp. 61-66.
18. J. Han, H. Chen, J. Liang, P. Zhu, Z. Yang, and F. Lombardi, "A stochastic computational approach for accurate and efficient reliability evaluation," IEEE Trans. Comput., vol. 63, no. 6, pp. 1336-1350, 2014.
19. H. Aliee and H. R. Zarandi, "A fast and accurate fault tree analysis based on stochastic logic implemented on field-programmable gate arrays," IEEE Trans. Rel., vol. 62, no. 1, pp. 13-22, Mar. 2013.
20. P. Zhu, J. Han, L. Liu, and M. J. Zuo, "A stochastic approach for the analysis of fault trees with priority AND gates," IEEE Trans. Rel., vol. 63, no. 2, pp. 480-494, Jun. 2014.
21. A. Ejlali and S. Miremadi, "FPGA-based Monte Carlo simulation for fault tree analysis," Microelectron. Rel., vol. 44, no. 6, pp. 1017-1028, 2004.
22. G. Merle, "Improving the efficiency of dynamic fault tree analysis by considering gates FDEP as static," in Proc. Eur. Safety and Reliability Conf., 2010.
23. S. J. Bavuso, "A novel solution-technique applied to a novel WAAS architecture," in Proc. Annu. Reliability and Maintainability Symp. (RAMS'98), Anaheim, CA, USA, Jan. 1998, pp. 229-234.
24. L. Xing, A. Shrestha, L. Meshkat, and W. Wang, "Incorporating common-cause failures into the modular hierarchical systems analysis," IEEE Trans. Rel., vol. 58, no. 1, pp. 10-19, Mar. 2009.
25. L. Xing and W. Wang, "Probabilistic common-cause failures analysis," in Proc. 54th Annu. Reliability & Maintainability Symp., Las Vegas, NV, USA, Jan. 2008.
26. M. Stamatelatos and W. Vesely, "Fault tree handbook with aerospace applications," vol. 1.1, pp. 1-205, NASA Office of Safety and Mission Assurance, 2002.
27. J. D. Andrews and J. B. Dugan, "Dependency modeling using fault tree analysis," in Proc. 17th Int. System Safety Conf., Ft. Worth, TX, USA, Aug. 1999.
28. J. B. Dugan and S. A. Doyle, "New results in fault tree analysis," in Tutorial Notes of Annu. Reliability & Maintainability Symp., Jan. 1997.
29. K. B. Misra, Ed., Handbook of Performability Engineering. London, U.K.: Springer-Verlag, Oct. 2008.
30. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic fault-tree models for fault-tolerant computer systems," IEEE Trans. Rel., vol. 41, no. 3, pp. 363-377, Sep. 1992.
31. J. She and M. Pecht, "Reliability of a k-out-of-n warm-standby system," IEEE Trans. Rel., vol. 41, no. 1, pp. 72-75, Mar. 1992.
32. B. R. Gaines, "Stochastic computing systems," Adv. Inf. Syst. Sci., vol. 2, pp. 37-172, 1969.
33. Y. S. Dai, M. Xie, K. L. Poh, and S. H. Ng, "A model for correlated failures in N-version programming," IIE Trans., vol. 36, no. 12, pp. 1183-1192, 2004.
34. K. N. Fleming and A. Mosleh, "Common-cause data analysis and implications in system modeling," in Proc. Int. Topical Meeting Probabilistic Safety Methods and Applications, Feb. 1985, vol. 1, pp. 3/1-3/12, EPRI NP-3912-SR.
35. Z. Tang, H. Xu, and J. B. Dugan, "Reliability analysis of phased mission systems with common cause failures," in Proc. 51st Annu. Reliability and Maintainability Symp., Jan. 2005, pp. 313-318.
36. J. K. Vaurio, "An implicit method for incorporating common-cause failures in system analysis," IEEE Trans. Rel., vol. 47, no. 2, pp. 173-180, Jun. 1998.
37. L. Xing, L. Meshkat, and S. Donohue, "An efficient approach for the reliability analysis of phased-mission systems with dependent failures," in Proc. 8th Int. Conf. Probabilistic Safety Assessment and Management (PSAM8), New Orleans, LA, USA, May 14-19, 2006.
38. L. B. Page and J. E. Perry, "A model for system reliability with common-cause failures," IEEE Trans. Rel., vol. 38, no. 4, pp. 406-410, Oct. 1989.
39. C. P. Robert and G. Casella, Monte Carlo Statistical Methods. New York, NY, USA: Springer, 2004.
40. J. Han, E. Boykin, H. Chen, J. Liang, and J. Fortes, "On the reliability of computational structures using majority logic," IEEE Trans. Nanotechnol., vol. 10, no. 5, pp. 1099-1112, Sep. 2011.
41. G. Merle, J. M. Roussel, and J. J. Lesage, "Dynamic fault tree analysis based on the structure function," in Proc. Annu. Reliability and Maintainability Symp. 2011, Lake Buena Vista, FL, USA, 2011, pp. 462-467.