基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析

• 作者: 吕继东 唐涛 尚麟宇 韩笑
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: CTCS 车载子系统 失效致因分析 时间自动机 UPPAAL 模型检查 需求错误
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 59-70
• 页数: 12页
• 分类号: TP393|U283
• 字数: 10488字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2017.03.011

摘要

CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误.本文采用基于模型检查的方法,首先利用时间自动机建立CTCS-3级列控车载子系统需求的模型,同时利用失效事件中的记录数据建立描述失效事件过程的事件模型,然后对系统模型和事件模型的组合模型使用UPPAAL工具进行模型检查,验证不通过给出的反例描述了失效事件中系统的行为,对此进行分析可以找到系统需求中的错误并据此对系统进行修改.本文以CTCS-3级列控系统中列车异常紧急制动的真实事件为例,分析了因为需求不充分而导致的系统失效致因,并对解决方案进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
3	韩笑	北京交通大学轨道交通控制与安全国家重点实验室	6	24	3.0	4.0
4	尚麟宇	中国铁道科学研究院通信信号研究所	4	6	1.0	2.0