[发明专利]飞行控制软件可靠性设计方法、装置及计算机存储介质

权利要求书

1.一种飞行控制软件可靠性设计方法，其特征在于，包括：

获取飞行剖面；

根据所述飞行剖面确定关键时序动作及其依赖关系；

根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；

对所述最小前序时序集进行判断；

对未发生时序动作或最小前序集的前序动作不进行考核。

2.根据权利要求1所述的方法，其特征在于，进一步包括：

识别非立即使用的数据变量和状态不明确的数据变量；

根据非立即使用的数据变量和状态不明确的数据变量，确定派生标志变量；所述派生标志变量用于表征数据变量的获取情况；

在使用非立即使用的数据变量或状态不明确的数据变量时，先对派生标志变量进行判断，根据派生标志变量的判断结果使用非立即使用的数据变量或状态不明确的数据变量。

3.根据权利要求1所述的方法，其特征在于，进一步包括：

根据预先确定的点火逻辑执行点火控制操作；所述点火逻辑包括正常点火逻辑和备保点火逻辑；在备保点火时点火标志补置；在点火标志置位时中断使能关闭；所述备保点火逻辑包括起飞标志已置位且备保点火判据已满足；

记录点火零点。

4.根据权利要求1所述的方法，其特征在于，进一步包括：

根据预先确定的起飞逻辑执行起飞控制操作；所述起飞逻辑包括正常起飞逻辑和备保起飞逻辑；在备保起飞时起飞标志补置；在起飞标志置位时中断使能关闭；所述备保起飞逻辑包括点火标志已置位、备保起飞的起判时机已达到且备保起飞判据已满足；

更新点火零点。

5.根据权利要求3或4所述的方法，其特征在于，所述点火标志或起飞标志置位时机如下：

点火标志位的置位时机为满足正常点火条件或满足备保点火条件时；

备保点火标志位的置位时机为满足备保点火条件时；

起飞标志位的置位时机为满足正常起飞条件或满足备保起飞条件时；

备保起飞标志位的置位时机为满足备保起飞条件时。

6.根据权利要求1所述的方法，其特征在于，进一步包括：

对于单元级，根据预先确定的飞行控制软件的计算要求，对飞行控制软件内的函数优化以减少单元级或循环体的计算开销；

对于模块级，识别飞行过程中的静态数据量，使用全局变量对静态数据量进行存储，并将制导模块和姿控模块均需使用的动态数据量提至导航模块进行计算；

对于逻辑级，通过增加kalman算法的复杂度将其计算周期增加、或者在制导模块计算需在线准备前置条件且该前置条件的计算开销大于预设阈值时增加前置条件准备算法的复杂度。

7.一种飞行控制软件可靠性设计装置，其特征在于，包括：

获取模块，用于获取飞行剖面；

确定模块，用于根据所述飞行剖面确定关键时序动作及其依赖关系；

识别模块，用于根据所述关键时序动作及其依赖关系，识别待判断动作的最小前序时序集；

判断模块，用于对所述最小前序时序集进行判断，对未发生时序动作或最小前序集的前序动作不进行考核。

8.一种计算机存储介质，其特征在于，其上存储有计算机程序，所述计算机程序被处理器执行时实现如权利要求1至6任一所述方法的步骤。

9.一种电子设备，其特征在于，包括存储器、以及一个或多个处理器，所述存储器用于存储一个或多个程序；所述一个或多个程序被所述一个或多个处理器执行时，实现如权利要求1至6任一所述的方法。