季学胜,李开成,张 勇,等.CTCS-3级列控系统测试案例生成方法的研究[J].铁道通信信号,2009,45(10):1-5. JI Xue-sheng, LI Kai-cheng, ZHANG Yong, et al. Research on test case generation method of CTCS-3 train control system[J]. Railway Signalling and Communication, 2009, 45(10): 1-5.(in Chinese)
[2]
张新明,禹志阳,袁焕靖.基于运营场景的CTCS-3级列控系统功能需求分析[J].铁道通信信号,2010,46(4):17-21. ZHANG Xin-ming, YU Zhi-yang, YUAN Huan-jing. CTCS-3 train control system function requirements analysis based on operational scenarios[J]. Railway Signalling and Communication, 2010, 46(4): 17-21.(in Chinese)
[3]
HEIMDAHL M P E, RAYADURGAM S, VISSER W. Specifica-tion centered testing[C]∥TRACEY N, PENIX J, VISSER W. The Second International Workshop on Automated Program Analy-sis, Testing and Verification. Toronto: ICSE, 2001: 1-5.
[4]
TOMMASO P D, FLAMMINI F, LAZZARO A, et al. The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system[C]∥IEEE. Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering. Heidelberg: IEEE, 2005: 131-139.
[5]
TILIERE G D, LAPERROUZA M. Developing and deploying innovative technologies in a liberalized European railway system[C]∥STRC. Proceedings of 9th Swiss Transport Research Conference. Monte Verita: STRC, 2009: 1-22.
[6]
NICOLA G D, TOMMASO P D, ESPOSITO R, et al. A hybrid testing methodology for railway control systems [C]∥MARITTA H, PETER L, STEFAN W. Computer Safety, Reliability, and Security. Potsdam: Springer Berlin/Heidelberg, 2004: 116-129.
[7]
ERTMS/ETCS SUBSET 076-3, methodology of testing [S].
[8]
ERTMS/ETCS SUBSET 076-2, methodology to prepare features[S].
[9]
ERTMS/ETCS SUBSET 076-4-1, test sequence generation: methodology and rules [S].
[10]
ERTMS/ETCS SUBSET 076-5-1, ERTMS ETCS class 1 feature list [S].
[11]
禹志阳,赵 阳.基于黑盒测试技术的CTCS-3级列控系统联调联试研究[J].铁道通信信号,2010,46(5):1-5. YU Zhi-yang, ZHAO Yang. Study on CTCS-3 train control system dynamic test based on black-box test[J]. Railway Signalling and Communication, 2010, 46(5): 1-5.(in Chinese)
[12]
李 伟,王海峰.CTCS-3级列控系统车载设备测试序列的优化[J].北京交通大学学报,2010,34(2):75-78. LI Wei, WANG Hai-feng. Optimization test sequence of CTCS-3 on-board equipment [J]. Journal of Beijing Jiaotong University, 2010, 34(2): 75-78.(in Chinese)
[13]
ZHANG Yan, ZHU Li, CHEN Li-jie, et al. A method for simulation and analysis of trackside data communication system in CBTC [C]∥IEEE. 2009 WRI International Conference on Communications and Mobile Computing. Kunming: IEEE, 2009: 529-533.
[14]
曾洁毅,赵会兵.应答器传输模块测试系统的研究[J].北京交通大学学报,2008,32(2):80-83. ZENG Jie-yi, ZHAO Hui-bing. Research on balise transmis-sion module test system[J]. Journal of Beijing Jiaotong University, 2008, 32(2): 80-83.(in Chinese)
[15]
DONG Hai-rong, NING Bin, CAI Bai-gen, et al. Automatic train control system development and simulation for high-speed railways[J]. IEEE Circuits and Systems Magazine, 2010, 10(2): 6-18.
[16]
牛 儒,曹 源,唐 涛.ETCS-2级列控系统RBC交接协议的形式化分析[J].铁道学报,2009,31(4):52-58. NIU Ru, CAO Yuan, TANG Tao. Formal modelling and analysis of RBC handover protocol for ETCS level 2 using stochastic petri nets[J]. Journal of the China Railway Society, 2009, 31(4): 52-58.(in Chinese)
[17]
梁 楠,王海峰.基于SPN的CTCS-3级列控系统RBC实时性能分析[J].铁道学报,2011,33(2):67-71. LIANG Nan, WANG Hai-feng. Real-time performance analysis of RBC system for CTCS lever 3 using stochastic petri networks[J]. Journal of the China Railway Society, 2011, 33(2): 67-71.(in Chinese)
[18]
吕继东,唐 涛,贾 昊.客运专线CTCS-3级列控系统无线闭塞中心的建模与验证[J].铁道学报,2010,32(6):34-42. LU Ji-dong, TANG Tao, JIA Hao. Modeling and verification of Radio Block Center of CTCS-3 train control system for dedicated passengers lines[J]. Journal of the China Railway Society, 2010, 32(6): 34-42.(in Chinese)