期刊文献+

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

The Modeling and Formal Analysis of RBC Handover for CTCS-3 Train Control System Based on Colored Petri Nets
在线阅读 下载PDF
导出
摘要 在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.
作者 张友兵 唐涛
出处 《铁道学报》 EI CAS CSCD 北大核心 2012年第7期49-55,共7页 Journal of the China Railway Society
基金 国家科技支撑计划(2009BAG12A08)
关键词 CTCS 有色PETRI网 RBC切换 车载设备 Chinese train control system(CTCS) colored petri nets(CPN) RBC handover on-board equip-ment
  • 相关文献

参考文献6

二级参考文献64

  • 1李晓山,周巢尘.时段演算综述[J].计算机学报,1994,17(11):842-851. 被引量:10
  • 2L Jansen, M Meyer zu Horste, H Schnieder. Technical issues in modelling the european train control system[C]// Proc. 1st CPN Workshop. Denmark: Aarhus University, 1998: 103-115.
  • 3Armin Z, Giinter H. A train control system case study in model based real time system design [C]// International parallel and distributed processing symposium (IPDPS). France: IEEE, 2003:118-126.
  • 4ERTMS/ETCS SUBSET-039 : FIS for the RBC/RBC Handover [EB/OL]. http://www. aeif. org/db/docs/ccm/ SUBSET-052 v212. 2005.
  • 5IEC 62280 Railway application-Communication, signaling and processing systems-Part2: Safety-related communication in open transmission systems [S]. 2002.
  • 6ERTMS/ETCS Subset-098.. ERTMS/ETCS Class 1 RBCRBC safe communication interface [EB/OL]. http:// www. aeif. org/db/docs/ccm/SUBSET-052 v222. 2005.
  • 7G Ciardo, D M Nicol, K S Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri-Nets[J]. IEEE Transactions on Software Engineering,1999,25(2) :207-217.
  • 8CLARKE E M, GRUMBERG O, PELED D. Model Checking[M]. Cambridge: The MIT Press, 2000.
  • 9EN 50129: 2002, railway applications-communication, signailing and processing systems-safety related electronic systems for signalling[S].
  • 10IEC 61508-1 : 1997, functional safety of electrical/electronic/ programmable electronic safety-related systems[S].

共引文献77

同被引文献120

引证文献18

二级引证文献47

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部