Analysis and Comparison of Reliability of Computer Redundancy Architecture in Space

Abstract

Applying redundant architecture is an important way to improve and promote the reliability of computer in space. The redundant architecture of space computer can be organized in different forms depending on the combination of software and hardware resources. Recently most comparisons among different redundant architectures in engineering are performed only by rough analysis，not in quantitative way，especially for the relatively complex architectures. In this study，six typical redundant architectures（dual-unit with cold standby，dual-unit with hot standby，TMR，re-configurable TMR，2+1 triple-unit，and quad-unit）are investigated，the Markov chain models are established and the formulas of reliability are deduced respectively. Reliability of the architectures is calculated，analyzed and compared based on a virtual five-year space task. The simulation results indicate that a solution with cold standby resource can obtain higher reliability. Moreover，the ability of a fault unit to recover easily and quickly can greatly improve the system reliability.

Keywords

space computer / redundant architecture / reliability analysis / Markov chain

References

[1] 马秀娟,张秀珍,曹喜滨,等. 容错星载计算机系统结构设计[J]. 微处理机,2003(2):47-49
MA X J,ZHANG X Z,CAO X B,et al. Design of fault-tolerant on-board computer system construction[J]. Microprocessors,2003(2):47-49
[2] LYONS R,VANDERKULK W. The use of triple-modular redundancy to improve computer reliability[J]. Ibm Journal of Research & Development,1962,6(2):200-209
[3] 韩炜,臧红伟,谢克嘉. 四余度容错计算机系统结构及其可靠性分析[J]. 计算机工程与科学,2003,25(1):98-100
HAN W,ZANG H W,XIE K J. Quad-redundant fault-tolerant computer architecture and reliability analysis[J]. Computer Engineering & Science,2003,25(1):98-100
[4] GANTOIS K，TESTON F，MONTENBRUCK O，et al. Proba-2：mission and technologies overview[C]//2006 Small satellite and system services – the 4S symposium. Chia Laguna Sardinia，Italy：ESA，2006：25-29
[5] ALENA R，OSSENFORT J，LAWS K，et al. Communications for integrated modular avionics[C]//2007 IEEE Aerospace Conference. Big Sky，MT，USA：IEEE，2007：1-18.
[6] 张伟功，辛明瑞，邱庆林，等. 标准化嵌入式三模冗余容错计算机技术研究[C]//第十三届全国容错计算机学术会议. [S. l]：中国计算机学会，2009：305-309.
ZHANG W G，XIN M R，QIU Q L，et al. Study on standard embedded TMR computer technology[C]//13th China Fault-Tolerant Computer Conference. [S. l]：China Computer Federation，2009：305-309.
[7] 刘东. 空间信息处理系统可靠性设计与分析关键技术研究[D]. 长沙：国防科技大学，2008.
LIU D. Research on key technologies of space information processing systems reliability design and analysis[D]. Changsha：National Defense Technology University，2008.
[8] 仉俊峰,洪炳镕,袁成军. 一种基于Makov模型的星载计算机系统可靠性评估新方法[J]. 宇航学报,2007,28(4):1053-1058
ZHANG J F,HONG B R,YUAN C J. A new way of reliability estimation based on Makov model for onboard computer system[J]. Journal of Astronautics,2007,28(4):1053-1058
[9] KIM D S,LEE M S,JUNG H J,et al. Reliability and availability analysis of an onboard computer in a satellite system using standby redundancy and rejuvenation[J]. Journal of Mechanical Science and Technology,2012,26(7):2059-2063
[10] MCLOUGHLIN I,BRETSCHNEIDER T. Reliability through redundant parallelism for micro-satellite computing[J]. ACM Transaction on Embedded Computing Systems(TECS),2010,9(3):1-25
[11] SHOOMAN M L. Reliability of computer systems and networks：fault tolerance，analysis and design[M]. USA：John Wiley & Son，Inc.，2002.
[12] 程五一. 系统可靠性理论及其应用[M]. 北京：北京航空航天大学出版社，2012.
CHENG W Y. System reliability theory and applications[M]. Beijing：Beihang University Press，2012.
[13] 姜连祥,杨根庆,李华旺,等. 微小卫星星载计算机系统可靠性研究与设计[J]. 系统工程与电子技术,2009,31(1):238-240
JIANG L X,YANG G Q,LI H W,et al. Reliability research and design of on-board computers of micro-satellite[J]. Systems Engineering and Electronics,2009,31(1):238-240