基于增强型逐步协商表决的星载计算机容错

文章针对空间环境中的相关瞬态故障，提出了一种新的容错算法———增强型逐步协商表决。增强型逐步协商表决的主要思想是： 如果有足够的无故障子系统可用于进行多数表决， 系统就进行多数表决； 如果无故障子系统很少， 系统就以待命冗余的方式运行； 如果发生相关瞬态故障， 系统就通过卷回机制来克服相关瞬态故障。为了实现增强型逐步协商表决， 文章分析了星载计算机的系统状态空间， 区分出相关瞬态故障空间，提出了新的系统状态向量形式和新的系统状态向量生成算法， 并且给出了新的表决模块选择逻辑。