基于Petri网的形式化安全分析方法

作者：余敬芝; 燕飞; 牛儒

来源：中国安全科学学报, 2019, S2: 138-143.

DOI：10.16265/j.cnki.issn1003-3033.2019.S2.023

• Petri网
• 形式化安全分析
• 列车自动防护(ATP)
• 故障传播
• 危险源辨识
• 故障诊断

为解决传统安全分析方法中故障逻辑的描述存在局限性、分析工作耗时大的问题,提出一种基于Petri网模型的形式化安全分析方法。首先,划分系统物理层次,建立系统功能结构模型;然后,考虑组件除正常态、物理故障态之外的功能失效态及多状态间的转换关系,梳理故障模式及量化概率值,结合动态逻辑、模糊逻辑的表达,建立并分析故障Petri网模型;最后,通过城市轨道交通列车自动防护(ATP)子系统的案例研究,验证该方法的可行性。结果表明:Petri网模型分析出子系统逻辑输出功能异常的故障源为测速电机接口故障,同时演绎了故障传播路径,用于指导危险源的辨识和故障诊断。

• 单位
  北京交通大学; 电子信息工程学院