一种基于STPA形式化模型的安全分析方法

摘要

本发明提供了一种基于STPA形式化模型的安全分析方法。所述基于STPA形式化模型的安全分析方法包括如下步骤：一、识别出相应的系统级危险，确定相应的系统级安全约束；二、建立系统分层控制结构；三、建立系统STPA形式化模型并生成不安全控制行为；四、针对步骤三生成的不安全控制行为，确定产生所述不安全控制行为的原因。本发明的有益效果是：所述基于STPA形式化模型的安全分析方法采用基于四变量模型的软件需求进行变量的提取，拥有很多潜在好处，包括降低错误数量、促使需求更加完整准确等，可以确保过程模型变量的提取具有可靠性且没有遗漏。