飞行控制软件可靠性设计方法、装置及计算机存储介质制造方法及图纸

飞行控制软件可靠性设计方法、装置及计算机存储介质，包括：获取飞行剖面；根据所述飞行剖面确定关键时序动作及其依赖关系；根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；对所述最小前序时序集进行判断。本申请中的方案，提出了最小化前序逻辑保障机制，一方面，约束了逻辑转换的顺序和条件，另一方面，最小化前置保障需求，防止“无关”信息的异常导致的标志判断错误，有效提升了飞行控制软件的可靠性。

【技术实现步骤摘要】
飞行控制软件可靠性设计方法、装置及计算机存储介质
本申请涉及飞行控制技术，具体地，涉及一种飞行控制软件可靠性设计方法、装置及计算机存储介质、电子设备。
技术介绍
飞行控制软件作为火箭最关键的软件，对飞行试验的成败起着一锤定音的作用。飞行控制软件的正确性，决定着其在正常分支下计算结果的准确性，而飞行控制软件的可靠性，决定着其在异常分支下计算结果的鲁棒性。通常情况下，飞行控制系统半实物仿真试验，对飞行控制软件的正确性考核较为充分，但由于飞行环境与试验环境的差异性，飞行控制软件的可靠性考核相对较弱，因此，亟需重点关注飞行控制软件的可靠性设计。飞行控制软件作为箭上嵌入式软件，对其计算时间有着强制约束，传统的飞行控制软件可靠性设计主要从软件层面考虑，可靠性不高。
技术实现思路
本申请实施例中提供了一种飞行控制软件可靠性设计方法、装置及计算机存储介质、电子设备，以解决上述技术问题。根据本申请实施例的第一个方面，提供了一种飞行控制软件可靠性设计方法，包括如下步骤：获取飞行剖面；根据所述飞行剖面确定关键时序动作及其依本文档来自技高网...

【技术保护点】
1.一种飞行控制软件可靠性设计方法，其特征在于，包括：/n获取飞行剖面；/n根据所述飞行剖面确定关键时序动作及其依赖关系；/n根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；/n对所述最小前序时序集进行判断。/n

【技术特征摘要】
1.一种飞行控制软件可靠性设计方法，其特征在于，包括：
获取飞行剖面；
根据所述飞行剖面确定关键时序动作及其依赖关系；
根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；
对所述最小前序时序集进行判断。


2.根据权利要求1所述的方法，其特征在于，进一步包括：
对未发生时序动作或最小前序集的前序动作不进行考核。


3.根据权利要求1所述的方法，其特征在于，进一步包括：
识别非立即使用的数据变量和状态不明确的数据变量；
根据非立即使用的数据变量和状态不明确的数据变量，确定派生标志变量；所述派生标志变量用于表征数据变量的获取情况；
在使用非立即使用的数据变量或状态不明确的数据变量时，先对派生标志变量进行判断，根据派生标志变量的判断结果使用非立即使用的数据变量或状态不明确的数据变量。


4.根据权利要求1所述的方法，其特征在于，进一步包括：
根据预先确定的点火逻辑执行点火控制操作；所述点火逻辑包括正常点火逻辑和备保点火逻辑；在备保点火时点火标志补置；在点火标志置位时中断使能关闭；所述备保点火逻辑包括起飞标志已置位且备保点火判据已满足；
记录点火零点。


5.根据权利要求1所述的方法，其特征在于，进一步包括：
根据预先确定的起飞逻辑执行起飞控制操作；所述起飞逻辑包括正常起飞逻辑和备保起飞逻辑；在备保起飞时起飞标志补置；在起飞标志置位时中断使能关闭；所述备保起飞逻辑包括点火标志已置位、备保起飞的起判时机已达到且备保起飞判据已满足；
更新点火零点。


6.根据权利要求5或6所述的方法，...

【专利技术属性】
技术研发人员：胡骁，李浩，张亚琳，潘彦鹏，张雪婷，陈旭东，吕瑞，涂海峰，严大卫，陈喆，葛云鹏，梁卓，宋志国，张东，蔡亚楠，王凯旋，李迎博，薛晨琛，李烨，谭黎立，杨立杰，丁禹，赵楠，陈铁凝，郝仁杰，丘岳诗，孟文霞，姜春旺，杜肖，谭清科，
申请(专利权)人：中国运载火箭技术研究院，
类型：发明
国别省市：北京;11