基于Secure Tropos的石油炼化系统多重安全需求生成方法及系统

本发明公开了一种基于Secure Tropos的石油炼化系统多重安全需求生成方法及系统，属于安全工程领域，该方法针对石油炼化装置的安全防护目标，分析其全流程涉及的系统功能模块间的依赖性关系和安全威胁；分析石油炼化装置的结构和数据交互类型，建立安全实体及数据交互模型；分析数据流与控制流特征，确定对应功能需求，并结合安全防护目标以推导安全约束；对建立的安全实体与数据交互模型进行模型检查，自动生成检查报告，对报告内容进行安全约束违例分析以分别获得公共安全需求和特殊安全需求。该发明可针对石油炼化装置快速生成满足功能要求和相关标准的高质量安全需求，极大提高效率、效果和准确性。