1 State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China 2 National Engineering Research Center of Rail Transportation Operation and Control System,Beijing Jiaotong University,Beijing 100044,China 3 Electronic and Information Engineering College,Beijing Jiaotong University,Beijing 100044,China
Online:2014-12-25
Published:2017-06-17
Supported by:
The National Natural Science Foundation of China;The National Natural Science Foundation of China;The National High Technology Re-search and Development Program of China (863 Program);The Major National Science and Technology Projects
Xia ZHANG,Lian-chuan MA,Yuan CAO,Yu-zhuo ZHANG. Research on data loss probability and its impact of CTCS-3 train ground communication based on GSM-R[J]. Journal on Communications, 2014, 35(12): 203-209.
ERTMS[J]. EN50159-2010 Railway Applications—Communication,Signalling and Processing Systems—Safety-Related Communication in Transmission Systems[S]. 2010.
[3]
单振宇 . CTCS-3级车地通信协议设计与验证[D]. 北京： 北京交通大学， 2009. SHAN Z Y . Design and Verification of CTCS-3 Train Ground Com-munication Protocol[D]. Beijing:Beijing Jiaotong University, 2009.
[4]
陈黎洁， 单振宇， 唐涛 . 列车运行控制系统中安全通信协议的形式化分析[J]. 铁道学报， 2012,34(7):70-76. CHEN L J , SHAN Z Y , TANG T . Formal analysis on safety commu-nication protocol in train control system[J]. Journal of the China Rail-way Society, 2012,34(7):70-76.
[5]
全宏宇 . CTCS-3级列控系统地车安全信息传输子系统的建模与分析[D]. 北京： 北京交通大学， 2014. QUAN H Y . Modeling and Analysis of Safety Information Transmis-sion Subsystem Between Train and Ground for CTCS-3 Train Control System[D]. Beijing:Beijing Jiaotong University, 2014.
[6]
陈黎洁 . CTCS-列车运行控制系统安全通信协议验证方法的研究[J]. 北京： 北京交通大学， 2013. CHEN L J . Research of Authentication Methods on Safety Communi-cation Protocol in Train Control System[J]. Beijing:Beijing Jiaotong University, 2013.
林闯 . 随机Petri网和系统性能评价[M]. 北京: 清华大学出版社, 2009. LIN C . Stochastic Petri Nets and System Performance Evaluation[M]. Beijing: Tsinghua University Press, 2009.
[9]
ZIMMERMANN A . Modeling and evaluation of stochastic Petri nets with TimeNET 4.1[A]. Performance Evaluation Methodologies and Tools (VALUETOOLS),2012 6th International Conference on[C]. 2012.54-63.
[10]
苏华鸿 . 移动通信多普勒频移与高铁覆盖技术[J]. 邮电设计技术， 2009,(12):1-4. SU H H . Mobile communication doppler frequency shift and high-speed railway coverage technology[J]. Designing Techniques of Posts and Telecommunications, 2009,(12):1-4.
[11]
GSM-R QoS Working Group[J]. ERTMS/GSM-R Quality of Service Test Specification[S]. 2006.
