[1]张 旭,刘 浩,罗丽燕.列控车载ATP 控制模式建模与仿真[J].控制与信息技术(原大功率变流技术),2018,(04):44-48.[doi:10.13889/j.issn.2096-5427.2018.04.010]
 ZHANG Xu,LIU Hao,LUO Liyan.Modeling and Simulation of On-board ATP Controlling Module for Train Operation Control System[J].High Power Converter Technology,2018,(04):44-48.[doi:10.13889/j.issn.2096-5427.2018.04.010]
点击复制

列控车载ATP 控制模式建模与仿真()
分享到:

《控制与信息技术》(原《大功率变流技术》)[ISSN:2095-3631/CN:43-1486/U]

卷:
期数:
2018年04期
页码:
44-48
栏目:
信息技术与系统
出版日期:
2018-08-05

文章信息/Info

Title:
Modeling and Simulation of On-board ATP Controlling Module for Train Operation Control System
文章编号:
2096-5427(2018)04-0044-05
作者:
张 旭刘 浩罗丽燕
(湖南中车时代通信信号有限公司,湖南长沙 410005)
Author(s):
ZHANG XuLIU HaoLUO Liyan
( Hunan CRRC Times Signal & Communication Co., Ltd., Changsha, Hunan 410005, China)
关键词:
列车自动防护系统安全完整性等级控制模式图形化建模覆盖率分析
Keywords:
automatic train protection(ATP) safety integrity level controlling mode graphic modeling covering rate analysis
分类号:
U284.55
DOI:
10.13889/j.issn.2096-5427.2018.04.010
文献标志码:
A
摘要:
列车自动防护系统(ATP)用于为列车提供完整的超速防护功能,具有较高的软件安全等级。文章通过对ATP 模式转换关系的研究,采用了与传统手工编码方式不同的模型化方式,实现对ATP 控制模式功能模块的建模、仿真及测试,能够有效克服传统开发方法中存在的人工编码工作量大、易出错、测试困难等问题。仿真和集成测试结果验证了该方法的可行性。
Abstract:
The automatic train protection(ATP) system provides complete over-speed protection for train, which obtains superior security classification. The transform relationship of ATP modules was studied and a modeling development method was proposed which differs from traditional hand coding one. It can realize modeling, simulation and integration testing of the controlling module in ATP system, and efficiently solve the problems existing in traditional software development methods, such as huge workload, error prone and testing difficulty, etc. Simulation and integration test results proved the validity of the method.

参考文献/References:

[1]肖代宁,刘红燕. 国外高速铁路列车运行控制系统[J]. 铁道标准设计,2008(4):125-127.
 XIAO D N, LIU H Y.Foreign High-speed Train Operation Control System[J]. Railway Standard Design, 2008(4):125-127.
[2]刘长远,刘霄,李绍博. 列车网络控制系统安全性研究[J]. 城市轨道交通研究,2013,16(4):1-4.
LIU C Y, LIU X, LI S B. On the Safety in Train Control and Management System[J]. Urban Mass Transit, 2013, 16(4):1-4.
[3]吴晓丹. CTCS-3 级列控系统的UML 建模与模型检验研究[D]. 北京:北京交通大学,2010.
[4]郑理华,张言安,刘晓磊. 基于CTCS2-200C 的城际铁路列控车载ATP 的研究[J]. 机车电传动,2015(3):10-14.
ZHANG L H, ZHANG Y A, LIU X L.Research on Train Control on-board ATP for Intercity Railway Based on CTCS2-200C[J]. Electric Drive for Locomotives, 2015(3):10-14.
[5]中国铁路总公司. CTCS-2 级列控车载设备暂行技术规范:铁总运[2014]29 号[S]. 北京:中国铁路总公司,2014.
[6]QIAN J, SUN J, SUN J, et al. Modeling and verification of zone controller: the scade experience in China’s railway systems[C]// Ieee/acm, International Workshop on Complex Faults and Failures in Large Software Systems. IEEE, 2015:48-54.
[7]王锡奎. 面向领域特征的列控系统车载ATP 软件建模方法研究[D]. 北京:北京交通大学, 2016.
[8] 陈淑珍, 陈荣武,李耀 . 基于SCADE 的安全软件开发方法研究[J]. 铁路计算机应用,2015(3):14-18. CHEN S Z,
CHENG R W, LI Y. Method of SCADE-based safety software development[J]. Railway Computer Application, 2015(3):14-18.
[9]杨巧. 基于SCADE 的CBTC 系统移动授权建模与验证[D]. 成都:西南交通大学,2017.
[10]MARRONE S, FLAMMINI F, MAZZOCCA N, et al. Towards Model-Driven V&V assessment of railway control systems[J]. International Journal on Software Tools for Technology Transfer, 2014, 16(6):669-683.
[11]方伟,周彰毅. SCADE 在航空发动机FADEC 软件开发中的应用[J]. 航空发动机,2016,42(5):43-47.
FANG W, ZHOU Z Y. Research on SCADE for Aeroengine FADEC Software[J]. Aeroengine, 2016, 42(5):43-47.

相似文献/References:

[1]刘布麒,等.一种适用于功能安全的软件结构化方法[J].控制与信息技术(原大功率变流技术),2018,(04):49.[doi:10.13889/j.issn.2096-5427.2018.04.011]
 LIU Buqi,ZHOU Zhifei,et al.A Software Structured Methodology for Function Safety[J].High Power Converter Technology,2018,(04):49.[doi:10.13889/j.issn.2096-5427.2018.04.011]

备注/Memo

备注/Memo:
收稿日期:2018-03-15
作者简介:张旭(1988-),男,设计师,现从事列控车载软件的设计和研发工作。
更新日期/Last Update: 2018-08-17