基于赋时着色Petri网的RBC控车实时性能分析

摘要：

RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制.RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素.对该性能指标进行形式化方法研究可为验证CTCS-3级列车运行控制系统规范和系统研发提供参考.着色Petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点.采用赋时着色Petri网对RBC与列车通信的无线消息进行研究.针对两种无线消息模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素分别进行仿真,得到RBC控车平均延时曲线,并分析不同列车速度及重发时间间隔对无线消息模型产生的影响.

关键词：CTCS-3、形式化分析、赋时着色Petri网、RBC

所属期刊栏目：35

分类号：TN92-34

资助基金：国家863计划项目2009AA11Z221

在线出版日期：2012-05-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：170-173