星载计算机拜占庭容错设计与验证
为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力.根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性.
作 者： 肖爱斌 杨孟飞 刘波 XIAO Aibin YANG Mengfei LIU Bo 作者单位： 肖爱斌,刘波,XIAO Aibin,LIU Bo(北京控制工程研究所,北京,100190)杨孟飞,YANG Mengfei(中国空间技术研究院,北京,100094)
刊 名： 空间控制技术与应用 英文刊名： AEROSPACE CONTROL AND APPLICATION 年，卷(期)： 2008 34(4) 分类号： V446 关键词： 星载计算机 拜占庭恢复 数据一致性 容错