Please wait a minute...
J4  2013, Vol. 47 Issue (4): 644-649    DOI: 10.3785/j.issn.1008-973X.2013.04.012
    
Reliability analysis of redundant and repairable systems
PAN Zhu-sheng, MO Yu-chang
College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004, China
Download:   PDF(0KB) HTML
Export: BibTeX | EndNote (RIS)      

Abstract  

 For the redundant and repairable systems those are widely deployed in various critical applications, a symbol “redundant and repairable gate” was introduced into the dynamic fault tree model to capture redundancy property and repair behavior. A general reliability simulation program was proposed based on discrete event simulation method. Based on the stochastic process theory, it was proved that the stochastic process representing the state evolution of the share-repair redundant and repairable systems is a Markov renewal stochastic process, and new analytical formulations were derived. Based on the redundant identical components and the memory-less property of exponential distribution process, the failure-transition property was proved and new analytical formulations were derived for self-repair redundant and repairable systems. Example systems were analyzed to illustrate the use of our approaches to correctly analyze the reliabilities of redundant and repairable systems.



Published: 01 April 2013
CLC:  TB 114  
Cite this article:

PAN Zhu-sheng, MO Yu-chang. Reliability analysis of redundant and repairable systems. J4, 2013, 47(4): 644-649.

URL:

http://www.zjujournals.com/eng/10.3785/j.issn.1008-973X.2013.04.012     OR     http://www.zjujournals.com/eng/Y2013/V47/I4/644


冗余可修系统的可靠性分析

针对冗余可修系统这一类广泛配置于各种关键应用中的高可靠系统,定义简单的冗余可修系统可靠性描述模型——冗余可修门.该模型能够有效地集成于动态故障树分析工具中,用以刻画冗余可修系统的可靠性行为,基于离散事件仿真方法给出通用的冗余可修门可靠性模拟方法.基于随机过程理论,证明了共享维修系统状态演变对应的随机过程是马尔科夫再生过程,推导了有效的可靠性分析公式.基于系统的同构性和负指数分布的无记忆性,证明了独立维修系统的失效转移性质,结合马尔科夫再生过程理论推导了有效的可靠性分析公式.通过实例说明了给出的冗余可修系统可靠性分析方法的具体应用.

[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.

[1] MO Yu-chang, YANG Quan-sheng. Random generation and variable ordering of fault tree[J]. J4, 2011, 45(9): 1539-1543.