论文部分内容阅读
RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。
The RBC generates a driving license based on information such as the track circuit and the interlocking route, which is transmitted to the vehicle-mounted equipment through the GSM-R wireless communication system. Limited by a single set of RBC control capabilities, a safe and reliable switchover of train control rights must be achieved at the boundaries of adjacent RBC control ranges. In this paper, the RBC switching process of vehicle equipment with 2 or 1 car radio stations is analyzed respectively. Based on the detailed analysis of the RBC switching process, the process is formally modeled with the colored PNNT support tool CPNTools The simulation model was established to formally represent and verify the RBC handover process described in natural language.