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

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

一种用于飞行诸元定义、表示的领域专用语言

提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自动生成系统,将飞行诸元由文本文件转化为目标处理器能够识别的二进制格式数据文件。通过这种语言定义、表示飞行诸元,火箭不仅实现了诸元自动生成,还可以对诸元进行合理性检查,支持多目标处理器以及飞行诸元的灵活扩展,提高了可靠性和效率。

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

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

运载火箭软件系统安全性分析

At present,the number,scale and complexity of launch vehicle software systems have increased dramatically.Software is no longer a simple stack of independent configuration items,but a tightly integrated complex distributed software system.How to improve the safety of complex launch vehicle software systems has become a new topic under launch vehicle development.This paper introduces in detail the contents and processes of software system safety analysis based on use case of the Long March 5B launch vehicle with innovations including analysis methods for key sequences,key events,failure modes and countermeasures.