基于STPA的飞行导引系统模式转换的安全性分析方法

本发明公开了一种基于STPA的飞行导引系统模式转换的安全性分析方法，明确飞行导引系统需求、组件以及结构信息，识别损失、系统级危险以及系统级安全约束；根据飞行导引结构信息构建控制结构模型，包括外部交互部分和内部模式逻辑部分；将控制结构模型按照特定的转化关系转化成可进行模型检验的UPPAAL模型；识别潜在的不安全控制行为；将系统需求与潜在的不安全控制行为转化为CTL公式；使用CTL公式对模型正确性进行验证并确定有效的不安全控制行为；对有效的不安全控制行为使用致因因素分析框架逐一分析其损失场景与致因因素。本发明有效地应对了STPA方法中模型正确性以及不安全控制行为有效性难以保证的局限性，有助于提高分析质量与效率。