基于四重化冗余技术的高可信性计算平台设计

摘要

针对四重化冗余结构中由于备用态切换时间对系统性能影响的问题,对其进行改进,提出了四重化冗余并行结构,分析其可信性属性中最重要的可靠性和安全性。根据改进后理论的设计了一套高可信性的计算平台,计算模块使用PowerPC系列处理器,判别器使用FPGA(现场可编程门阵列),内部移植嵌入式软核NiosII,两套判别器在FPGA内部构成双核系统。另外在输出端使用竞争输出模块,实现无缝切换。结果表明,整个系统的可信性与实时性良好,适用于各种对可靠性和安全性要求很高的计算环境。