共因失效分析在轨道交通信号系统安全性计算中的应用

目前轨道交通信号系统设计在安全性计算中缺少共因失效(CCF)分析,导致安全评估结果过于乐观,会造成安全隐患。为此,文章提出一种共因失效分析方法,其以故障树与门作为分析对象,结合β因子法和独立性分析法对各种情况进行分析,无需建立复杂的CCF模型,简化了分析和计算过程。通过典型2取2冗余设计与门示例,证明了该分析方法能实现对安全性计算结果的进一步修正,具有很好的适用性和可操作性。

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

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