星载计算机拜占庭容错设计与验证

空间控制技术与应用

星载计算机拜占庭容错设计与验证

肖爱斌¹;杨孟飞²;刘波¹

1.北京控制工程研究所北京100190;2.中国空间技术研究院北京100094

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-08-25 发布日期:2008-08-25

Design and Validation of Byzantine Fault Tolerance for On-Board Computer

XIAO Aibin¹;YANG Mengfei²;LIU Bo¹

1.Beijing Institute of Control Engineering;Beijing 100190;China; 2.China Academy of Space Technology;Beijing 100094;China

Received:1900-01-01 Revised:1900-01-01 Online:2008-08-25 Published:2008-08-25

摘要/Abstract

摘要： 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。

关键词: 星载计算机, 拜占庭恢复, 数据一致性, 容错

Abstract: The on-board computer(OBC) that controls a manned spacecraft must be extremely reliable.Such a computer system generally has the ability of Byzantine fault resilience.Based on the theory of Byzantine resilience,a conceptual design of the Byzantine fault tolerant computer implementation is proposed.The feasibility of this scheme is validated in the real system through experiments.

Key words: on-board computer, Byzantine resilience, data consistency

中图分类号:

V446

肖爱斌¹;杨孟飞²;刘波¹. 星载计算机拜占庭容错设计与验证[J]. 空间控制技术与应用, 2008, 34(4): 17-22.

XIAO Aibin¹;YANG Mengfei²;LIU Bo¹. Design and Validation of Byzantine Fault Tolerance for On-Board Computer[J]. , 2008, 34(4): 17-22.

[1]	蒲卫华, 谢成清, 姜文志, 黄维达. COTS星载计算机容错设计及可靠性研究[J]. 空间控制技术与应用, 2020, 46(3): 72-.
[2]	吕岩. 一种低成本高可靠的星载计算机存储器容错方法[J]. 空间控制技术与应用, 2020, 46(3): 66-.