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

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

运载火箭飞行控制软件的多任务设计方法

为适应新一代运载火箭电气设备数字化、智能化的发展，提出了基于嵌入式实时操作系统的飞行控制软件多任务设计方法。设计了飞行控制、数据管理、精确关机等任务，根据实时性要求设置了相应任务的优先级；设计了飞行控制任务在三冗余处理器中一致性运算的机制；提出了控制周期内多任务共用临界资源的约束性要求作为冗余同步运行的余量指标。本文设计的多任务已在新一代中型运载火箭飞行试验中得到验证。