摘要
RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。对该性能指标进行形式化方法研究可为验证CTCS-3级列车运行控制系统规范和系统研发提供参考。着色Petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点。采用赋时着色Petri网对RBC与列车通信的无线消息进行研究。针对两种无线消息模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素分别进行仿真,得到RBC控车平均延时曲线,并分析不同列车速度及重发时间间隔对无线消息模型产生的影响。
RBC （Radio Block Center） is key equipment of CTCS-3 system, which can achieve continuous two-way information interaction with on-board equipment through GSM-R network, so as to realize the control of the moving train. The real-time performance index of train controlling of RBC （Radio Block Center） is one of the important factors affecting the control proficiency, transportation ability, reliability and safety of the CTCS-3 train control system. The formalism of the performance index has great value to the establishment and improvement of the CTCS-3 train control system. Colored-Petri-nets not only can describe the static state of the system, but also can realize the dynamic simulation of the system. It overcomes the weakness of normal simulation methods. Timed colored-Petri-net is used to analyze the wireless message between RBC and onboard equipment. To the two wireless message models, channel degradation, GSM-R cell switch and link failure are established to analyze the influence of different train velocities and time interval of resending on the average delay curves of the wireless message model.
出处
《现代电子技术》
2012年第3期170-173,共4页
Modern Electronics Technique
基金
国家863计划项目(2009AA11Z221)
