C3+ATO系统模式转换功能建模与仿真验证研究

发布时间：2021-03-14 05:40

　　C3+ATO系统在控制列车运行方面发挥重要作用且其功能关乎列车自动驾驶运行安全。为保障高速铁路C3+ATO系统功能安全,提出一种基于时间自动机的系统功能建模与仿真验证方法。以车载设备模式转换功能为例,根据C3+ATO系统规范中的功能需求,建立各组成设备的时间自动机模型,然后通过通信事件构成时间自动机网络模型;生成对应流程的消息顺序图并对系统安全性、可达性、存在性进行验证,并在C3+ATO系统仿真平台验证。仿真验证结果表明,该模型满足C3+ATO系统的功能属性要求,为后续C3+ATO系统设计开发、测试试验、实际应用及相关规范完善提供理论参考。 

【文章来源】：控制工程. 2020,27(11)北大核心

【文章页数】：8 页

【部分图文】：

C3+ATO系统车载设备构成图

TARBC模型图

TADriver模型图

【参考文献】：
期刊论文
[1]基于时间自动机模型的区域控制器测试序列自动生成方法（英文）[J]. 宋爽,陈跃东.  Journal of Measurement Science and Instrumentation. 2019(03)
[2]高速铁路CTCS3+ATO列控系统技术研究[J]. 程剑锋,冯凯,李科.  中国铁路. 2019(01)
[3]京张智能动车组——从“中国创造”向“中国智造”的里程碑式跨越[J]. 刘长青.  城市轨道交通研究. 2018(02)
[4]车载设备故障导致CTCS等级转换的建模与仿真[J]. 胡晓辉,王元鹏,陈永,刘全.  计算机工程与应用. 2016(18)
[5]一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]. 赵显琼,郑伟,唐涛.  铁道学报. 2012(05)
[6]CTCS-3级列控系统车载设备测试序列的优化[J]. 李伟,王海峰.  北京交通大学学报. 2010(02)

硕士论文
[1]CTCS-1级列控系统车载设备安全性分析[D]. 王昊.北京交通大学 2017
[2]基于模型的列控系统危险辨识方法研究[D]. 姚笑菲.北京交通大学 2015
[3]基于场景的列控车载设备测试用例自动生成方法研究[D]. 赵伟慧.北京交通大学 2014
[4]基于时间自动机的CTCS-3级列控系统建模方法与验证研究[D]. 康仁伟.北京交通大学 2013



本文编号：3081589