基于系统理论危害分析的列车自动防护系统安全分析方法

摘要

本发明提出一种基于系统理论危害分析的列车自动防护系统安全分析方法，属于列车自动防护系统安全工程领域。本发明包括：通过对系统结构组成与功能逻辑的梳理确定系统级事故与危险；构建系统的分层控制结构框图，建立系统过程模型，对系统控制行为进行分析，得到危险控制行为；分析危险控制行为是如何发生的，确定起因，明确危险控制场景，制定相应的安全约束，以用于列车自动防护系统的设计中。本发明还对得到文本使安全约束进行形式化表达，转化为线性时序逻辑语言，添加到SMV规范模型中进行验证。本发明与传统的安全分析方法相比，故障分析覆盖更广，分析有效性更高，经验证所得安全约束更加有效。