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

摘要

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