[1] MO Y C, SIEWIOREK D, YANG X Z. Mission reliability analysis of fault tolerant multiple phased systems [J]. Elsevier journal of Reliability Engineering and System Safety, 2008, 93(7): 1036-1046.
[2] SIEWIOREK D, SWARZ R. Reliable computer systems: design and evaluation [M]. 3rd ed. MA: A K Peters, 1998.
[3] TRIVEDI K. Probability and statistics with reliability, queuing, and computer science applications [M]. 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2001.
[4] MURA I, BONDAVALLI A. Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability [J]. IEEE Transactions on Computers, 2001, 50(12): 1337-1351.
[5] CHOI H, KULKARNI V, TRIVEDI K. Markov regenerative stochastic Petri nets [J]. Performance Evaluation, 1994, 20(3): 335-357.
[6] DUGAN J B, VEVKATARAMAN B, GULATI R. DIFtree: a software package for the analysis of dynamic fault tree models [C]∥ Proceedings of the IEEE Annual Reliability and Maintainability Symposium. Philadelphia: IEEE, 1997: 64-70.
[7] SULLIVAN K J, DUGAN J B, COPPIT D. The Galileo fault tree analysis tool [C]∥Proceedings of the 29th Annual International Symposium on Fault-tolerant Computing. Wisconsin: [s.n.], 1999: 232-237.
[8] BOYD M A. Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems [D]. NC, USA: Duke University, 1991.
[9] LAW A, KELTON D. Simulation modeling and analysis [M]. 2nd ed. New York: McGraw-Hill, 1991: 337-343.
[10] 莫毓昌, 杨孝宗, 崔刚,等. 一般阶段任务系统的任务可靠性分析[J]. 软件学报,2007, 18(4): 10681076.
MO Yu-chang, YANG Xiao-zong, CUI Gang,et al. Mission reliability analysis of generalized phased mission systems [J]. Journal of Software, 2007, 18(4): 1068-1076.
[11] 林闯. 随机Petri网和系统性能评价[M].2版. 北京:清华大学出版社, 2005: 78-114.
[12] GERMAN R. Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool [J]. Performance Evaluation, 2000, 69(10): 165-188.
[13] SRINIVASAN R. Importance sampling: applications in communications and detection [M]. Berlin: Springer, 2002: 942.
[14] FERRARI M, BELLINI S. Importance sampling simulation of turbo product codes [C]∥ Proceedings of IEEE International Conference on Communications. Milano, Italy: IEEE, 2001: 2773-2777. |