基于GSN的安全论证方法在产品功能安全评估中的应用

安全相关机构对产品安全可接受性的认识主要取决于安全论证过程中产生的安全证明文件是否全面、准确。文章采用目标结构表示法(goal structuring notation,GSN)构建基于IEC 62425标准的安全论证模型,在系统全生命周期中梳理安全目标与安全证明文件间的论证推理关系,从而能够有效地整合安全分析中的安全证据材料,并在安全性需求和安全性证据间建立明确的论证关系。该方法被应用于构建轨道交通信号系统应答器车载设备的安全论证模型中,取得了良好的效果。