基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析  

The Modeling and Formal Analysis of RBC Handover for CTCS-3 Train Control System Based on Colored Petri Nets

作　　者：张友兵[1] 唐涛[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044

出　　处：《铁道学报》2012年第7期49-55,共7页Journal of the China Railway Society

基　　金：国家科技支撑计划(2009BAG12A08)

摘　　要：在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。In the CTCS-3 train control system, the time spent in the RBC handover progress and the success rate of RBC handover seriously influence the traffic efficiency. In this paper, two different ways of RBC han- dover are modeled with the Colored Petri Nets respectively. In order to simulate the transmission process and the retransmission mechanisms of the messages in the GSM-R network, the GSM-R fault model and non-peri- odic message model are introduced into the two models mentioned above. The analysis proves that the RBC handover based on two MT2 takes less time and operates more efficiently than that besed on one MT2. Both the speed of the train and the time interval of message retransmission affect the RBC handover time. Moreover, the time interval of message retransmission and the RBC overlap influence the success rate of RBC handover.

关 键 词：CTCS 有色PETRI网 RBC切换 车载设备 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] U283[自动化与计算机技术—计算机科学与技术]