基于STPA的CTCS-3级列控系统功能安全分析方法

• 作者: 刘磊 刘金涛 唐涛 赵林
• 来源期刊: 中国铁道科学
• 学科: 交通运输
• 关键词: 系统PHAVer模型 列车控制系统 系统理论的过程分析 系统功能 安全分析
• 年，卷（期）: 2014,（5）
• 页码范围: 86-95
• 页数: 10页
• 分类号: U284.48|X913.4
• 字数: 7940字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4632.2014.05.13

摘要

利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析.以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析.分析结果表明,利用形式化技术扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	刘磊	中国铁道科学研究院通信信号研究所	19	99	5.0	9.0
3	赵林	北京交通大学轨道交通控制与安全国家重点实验室	11	160	8.0	11.0
4	刘金涛	北京交通大学轨道交通控制与安全国家重点实验室	7	110	6.0	7.0