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

说明书

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

技术领域

本申请涉及飞行控制技术，具体地，涉及一种飞行控制软件可靠性设计方法、装置及计算机存储介质、电子设备。

背景技术

飞行控制软件作为火箭最关键的软件，对飞行试验的成败起着一锤定音的作用。飞行控制软件的正确性，决定着其在正常分支下计算结果的准确性，而飞行控制软件的可靠性，决定着其在异常分支下计算结果的鲁棒性。通常情况下，飞行控制系统半实物仿真试验，对飞行控制软件的正确性考核较为充分，但由于飞行环境与试验环境的差异性，飞行控制软件的可靠性考核相对较弱，因此，亟需重点关注飞行控制软件的可靠性设计。

飞行控制软件作为箭上嵌入式软件，对其计算时间有着强制约束，传统的飞行控制软件可靠性设计主要从软件层面考虑，可靠性不高。

发明内容

本申请实施例中提供了一种飞行控制软件可靠性设计方法、装置及计算机存储介质、电子设备，以解决上述技术问题。

根据本申请实施例的第一个方面，提供了一种飞行控制软件可靠性设计方法，包括如下步骤：

获取飞行剖面；

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

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

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

根据本申请实施例的第二个方面，提供了一种飞行控制软件可靠性设计装置，包括：

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

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

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

判断模块，用于对所述最小前序时序集进行判断。

根据本申请实施例的第三个方面，提供了一种计算机存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现如上所述飞行控制软件可靠性设计方法的步骤。

根据本申请实施例的第四个方面，提供了一种电子设备，包括存储器、以及一个或多个处理器，所述存储器用于存储一个或多个程序；所述一个或多个程序被所述一个或多个处理器执行时，实现如上所述的飞行控制软件可靠性设计方法。

本申请实施例中提供的飞行控制软件可靠性设计方法、装置及计算机存储介质、电子设备，提出了最小化前序逻辑保障机制，一方面，约束了逻辑转换的顺序和条件，另一方面，最小化前置保障需求，防止“无关”信息的异常导致的标志判断错误，有效提升了飞行控制软件的可靠性。

附图说明

此处所说明的附图用来提供对本申请的进一步理解，构成本申请的一部分，本申请的示意性实施例及其说明用于解释本申请，并不构成对本申请的不当限定。在附图中：

图1示出了本申请实施例一中飞行控制软件可靠性设计方法实施的流程示意图；

图2示出了本申请实施例二中飞行控制软件可靠性设计装置的结构示意图；

图3示出了本申请实施例四中电子设备的结构示意图。

具体实施方式

在实现本申请的过程中，发明人发现：