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

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