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

• 作者: 吕继东 唐涛 姚媛 王海峰
• 来源期刊: 铁道通信信号
• 关键词: 列车运行控制系统 形式化建模 安全分析
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 通信·信息
• 页码范围: 50-53
• 页数: 4页
• 字数: 2172字
• 语种: 中文
• DOI: 10.13879/j.issn1000-7458.2016-03.15564

摘要

列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法(HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例,进行HAZOP安全分析和形式化建模与验证,在SMV中发现了一条导致危险发生的路径,用来指导列控系统的开发设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	吕继东	北京交通大学轨道交通控制与安全国家重点实验室	25	310	9.0	17.0
3	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0
4	姚媛	北京交通大学轨道交通运行控制系统国家工程研究中心	1	2	1.0	1.0