ETCS-2级列控系统RBC交接协议的形式化分析

作者：牛儒; 曹源; 唐涛

来源：铁道学报, 2009, (04): 52-58.

• ETCS
• 形式化分析
• 随机Petri网
• RBC交接协议
• 无线闭塞中心(RBC) European Train Control System(ETCS)
• formal analysis
• Stochastic Petri Nets(SPN)
• RBC handover protocol
• Radio Block Center(RBC)

RBC(无线闭塞中心)交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果。本文选择随机Petri网(SPN)这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速度、RBC重叠范围对交接成功概率的影响。结果表明基于两个车载电台、切换时能同时与两个RBC...

• 单位
  轨道交通控制与安全国家重点实验室