基于HAZOP的列控系统安全分析与验证.pdfVIP

2016年3月 铁 道 通 信 信 号 March 2016 第52卷 第3期 RAILWAY SIGNALLING COMMUNICATION VoL52 No．3 基于HAZOP的列控系统安全分析与验证 姚 媛 唐 涛 吕继东 王海峰 摘 要：列控系统是一个典型的安全苛求系统，传统的安全分析方法难以保证分析结果的全面性 和客观性 ，因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具 (SMV)结合 ，形 成一种安全分析与验证方法，并以典型的CTC 3级列控系统等级转换场景为例，进行 HAZOP 安全分析和形式化建模与验证，在 SMV 中发现了一条导致危险发生的路径，用来指导列控系统 的开发设计 。 关键词：列车运行控制系统；形式化建模 ；安全分析 Abstract：Traincontrolsystem isatypicalsafety-criticalsystem andtraditionalsafetyanalysis methodscanhardlye