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

Safety Analysis and Confirmation of HAZOP-based Train Control System

作　　者：姚媛[1] 唐涛[2] 吕继东[2] 王海峰[1] 

机构地区：[1]北京交通大学轨道交通运行控制系统国家工程研究中心 [2]北京交通大学轨道交通控制与安全国家重点实验室

出　　处：《铁道通信信号》2016年第3期50-53,共4页Railway Signalling & Communication

基　　金：国家自然科学基金资助项目(61304185;U1434209);中央高校基本科研业务费专项资金资助(2014JBM022.2015YJS008);国家重点基础研究发展计划(973)(批准号:2014CB340700)

摘　　要：列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例,进行HAZOP安全分析和形式化建模与验证,在SMV中发现了一条导致危险发生的路径,用来指导列控系统的开发设计。Train control system is a typical safety-critical system and traditional safety analysis methods can hardly ensure the comprehensiveness and objectivity of the results. This paper pro- poses a formal safety analysis and verification method, which combines Hazard and Operability Analysis and Signal Model Verifier. In this paper, the analysis of typical CTCS-3 level transition scenario is given as an example. After the HAZOP analysis and formal modeling and verification of this scenario, a fatal failure trace is found in the the train control system. SMV to guide the design and development of

关 键 词：列车运行控制系统 形式化建模 安全分析 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]