期刊文献+

星载计算机拜占庭容错设计与验证 被引量:11

Design and Validation of Byzantine Fault Tolerance for On-Board Computer
在线阅读 下载PDF
导出
摘要 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。 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.
出处 《空间控制技术与应用》 2008年第4期17-22,64,共7页 Aerospace Control and Application
关键词 星载计算机 拜占庭恢复 数据一致性 容错 on-board computer Byzantine resilience data consistency synchronization
  • 相关文献

参考文献8

  • 1Barborak M,,Dahbura A,Malek M.The consensusproblem in fault-tolerant computing[].ACMComputing Surveys(CSUR).1993
  • 2Dolev D.The Byzantine generals strike again[].Journal of Algorithms.1982
  • 3Fischer M,Lynch N A.A lower bound for the time toassure interactive consistency[].InformationProcessing Letters.1982
  • 4Dolev D,Dwrok C,Stockmeyer L.On the minimalsynchronism needed for distributed consensus[].IBMResearch ReportRJIBM.1984
  • 5Harper R.Critical issues in ultra-reliable parallelprocessing[]..1987
  • 6Lala J H,Harper R E.Architectural Principles for Safety-Critical Real-Time Applications[].Proceedings of the IEEE.1994
  • 7Lamport L,Shostak R,Pease M.The Byzantine gener-als problem[].ACM Transactions on Programming Languages and Systems.1982
  • 8M.PEASE,R.SHOSTAK,AND L.LAMPORT.Reaching Agreement in the Presence of Faults[].The Journal of The American Medical Association.1980

同被引文献68

引证文献11

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部