摘要

针对航天高速SpaceWire总线系统对协议IP的高可靠性要求,提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进,将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集,对一般单元集中的每个单元做三模冗余,对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统,而且优于部分三模冗余系统,使系统可靠性得到有效提高。