[1]徐燕芬,赵婧,姜仕军.下一代地铁列车网络控制系统的研制[J].铁道车辆,2017,55(7):27-31,51.
[2] 中国城市轨道交通协会.城市轨道交通全自动运行系统规范:T/CAMET 04017.1-2019[S].北京:中国铁道出版社,2019.
[3]李小勇,郑斌,闫迷军,等.一种城市轨道交通全自动驾驶车辆仿真测试平台方案[J].铁道机车车辆,2019,39(Z1):10-13.
Li Xiaoyong, Zheng Bin, Yan Mijun, et al. Scheme of Urban Rail Transit Fully Automatic Vehicle SimulationTest Platform[J]. Railway Locomotive & Car, 2019, 39(Z1): 10-13.
[4]范晓栋.全自动驾驶系统列车正线休眠唤醒区域全覆盖的研究[J].城市轨道交通研究,2020,23(11):166-168.
Fan Xiaodong. Research on Train Main Line Dormancy and Awakening Area Full Coverage in Fully Automatic Driving System[J]. Urban Mass Transit, 2020, 23(11): 166-168.
[5]温朋哲,徐道亮,高士杰,等.城市轨道交通全自动运营场景及功能需求分析[J].机车电传动,2020(3):132-136.
Wen Pengzhe, Xu Daoliang, Gao Shijie, et al. Analysis on Full Automatic Operation Scenes and Related Functional Requirements of Urban Railway Transport[J]. Electric Drive for Locomotives, 2020(3): 132-136.
[6]闫宏伟,燕飞.城市轨道交通全自动运行系统及安全需求[J].都市快轨交通,2017,30(3):50-55,87.
Yan Hongwei, Yan Fei. Fully Automatic Operation System and Its Safety Requirement of Urban Rail Transit[J]. Urban Rapid Rail Transit, 2017, 30(3): 50-55, 87.
[7]刘涛.CBTC-RF信号系统下的驾驶模式及转换原则[J].铁道通信信号,2009,45(11):4-6.
[8]康仁伟.基于时间自动机的CTCS-3级列控系统建模方法与验证研究[D].北京:北京交通大学,2013.
[9]张大鹏.基于时间自动机的跨界临时限速建模与分析[J].铁道通信信号,2018,54(2):5-10.
Zhang Dapeng. Cross-Boundary TSR Modeling and Analysis Based on Timed Automata[J]. Railway Signalling & Communication, 2018, 54(2): 5-10.
[10]胡雪莲,陶彩霞.基于MSC与UPPAAL的列控系统等级转换场景形式化验证[J].铁道标准设计,2015,59(2):122-127.
Hu Xuelian, Tao Caixia. Formal Verification of Level Transition Process in Train Control System Based on MSC and UPPAAL[J]. Railway Standard Design, 2015, 59(2): 122-127.
[11] Larsen K G, Mikucionis M, Nielsen B. Online Testing of Real-Time Systems Using Uppaal[C]//Grabowski J, Nielsen B. International Workshop on Formal Approaches to Software Testing. Berlin, Heidelberg: Springer, 2005: 79-94.
[12] Alur R, Dill D L. A Theory of Timed Automata[J]. Theoretical Computer Science, 1994, 126(2): 183-235.
[13] Li Yao, Zhang Xiaoxia, Zhang Yadong, et al. Towards a Test Paths Generation Method for CTCS Level Transition[J]. MATEC Web of Conferences, 2020, 325: 01001.
[14]赖琴,张亚东,饶畅,等.列控车载设备测试案例辅助管理工具设计[J].铁路计算机应用,2022,31(6):62-67.
Lai Qin, Zhang Yadong, Rao Chang, et al. Design of Test Cases Auxiliary Management Tool for On-Board Equipment of Train Operation Control[J]. Railway Computer Application, 2022, 31(6): 62-67.
[15]耿文波,陈海燕.轨道交通信号系统列车定位与驾驶模式转换的探讨[J].铁道通信信号,2019,55(5):73-76.
Geng Wenbo, Chen Haiyan. Discussion of Train Positioning and Transition of Driving Mode of Signaling System in Rail Transit[J]. Railway Signalling & Communication, 2019, 55(5): 73-76.
|