多模异构冗余软件系统同步技术研究

航天控制领域普遍采用冗余方案进行系统设计,相应软件系统也存在冗余。本文对三冗余软件之间、三冗余软件与不冗余软件之间以及三冗余软件与热备份软件之间实时同步控制策略进行研究,通过分析数据、信号的同步性和一致性,找出造成多模异构冗余软件系统不同步的时机、方式等影响因素,在此基础上给出了消除这些因素的软件设计方法,提出了确保冗余软件系统数据同步和一致的延时等待、交互表决、串行操作以及记忆重发同步控制策略。