一种改进的三模冗余任务同步方法  

An Improved Method for Task Synchronization for TMR Computer

作　　者：王猛[1] 岳素格[1] 赵元富[1] 陆振林[1] 

机构地区：[1]北京微电子技术研究所,北京100076

出　　处：《微电子学与计算机》2015年第9期177-180,共4页Microelectronics & Computer

基　　金：北京市自然科学基金项目(4132016)

摘　　要：为了实现三模冗余计算机三机之间精确、快速的同步,采用SOPC构建微型化三模冗余计算机平台.在传统任务同步的基础上,利用FPGA纯硬件通路和管脚众多的优势,采用数据并行传输和纯硬件表决的方式,提高了任务同步的精度.通过软硬件协同,大大缩短了三机同步时间开销.同时,完善的故障判决机制能更快定位同步故障,提高了三模冗余系统的可靠性.通过仿真结果,验证了该方法的有效性.In order to implement precise and rapid synchronization,a platform of TMR computer using SOPC is built.Based on the traditional task synchronization,the new TMR system not can achieve precise synchronization , but also make the synchronization time much shorter（about 1 50 ns）,which benefit from the hardware structure of FPGA and close cooperation between the hardware and software.At the same time,a high reliability can be achieved because of the precise fault-detection mechanism.

关 键 词：三模冗余 任务同步 故障判决 可靠性 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]