摘要
RBC(无线闭塞中心)交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果。本文选择随机Petri网(SPN)这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速度、RBC重叠范围对交接成功概率的影响。结果表明基于两个车载电台、切换时能同时与两个RBC通信的RBC交接协议能够更好地保证列车交接过程的安全性,对行车效率的影响比较小。
The RBC （radio block center） handover protocol is one of the important factors affecting the controlproficiency, transportation ability, reliability and safety of the ETCS system. So the formalism of the qualities of the protocol is of great value to the establishment and improvement of the CTCS Level 3 system. We choose Stochastic Petri Net （SPN） as the formal language to analyze this protocol, which is proved more powerful to give out quantitative results compared with normal simulation methods. The current study has established the failure probability models of the handover procedure with two different train configurations, which captures the channel degradation, GSM-R cell switch and link failure. Besides, the study offers an analysis of the influence of different train velocities and RBC overlap on the successful probability of RBC handover. The study shows that the RBC handover protocol based on double mobile stations, which provides separate communication channels with each RBC during handover, proves to be of greater safety and be less sensitive to the influence of train velocities.
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2009年第4期52-58,共7页
Journal of the China Railway Society
基金
国家自然科学基金资助项目(60634010)
教育部高等学校博士点专项科研基金(20070004005)
铁道部科技发展资助项目(2005K002F(X))
