计算机应用 ›› 2018, Vol. 38 ›› Issue (12): 3476-3480.DOI: 10.11772/j.issn.1001-9081.2018050993

• 网络空间安全 • 上一篇    下一篇

基于着色Petri网的无线闭塞中心安全加密

夏浩男, 戴胜华   

  1. 北京交通大学 电子信息工程学院, 北京 100044
  • 收稿日期:2018-05-11 修回日期:2018-06-29 出版日期:2018-12-10 发布日期:2018-12-15
  • 通讯作者: 夏浩男
  • 作者简介:夏浩男(1994-),男,安徽合肥人,硕士研究生,主要研究方向:交通信息工程及控制;戴胜华(1962-),男,北京人,教授,硕士,主要研究方向:轨道交通自动化与控制。

Security encryption of radio block center based on colored Petri net

XIA Haonan, DAI Shenghua   

  1. School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing 100044, China
  • Received:2018-05-11 Revised:2018-06-29 Online:2018-12-10 Published:2018-12-15
  • Contact: 夏浩男

摘要: 针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN)tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分:列车申请行车许可(MA)、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得,所设计模型能够满足车地信息传输的设计需求规范,具有有界性、活性、回归性和公平性,可用于车地信息的安全传输,减少软件设计缺陷。

关键词: 高速铁路, 中国列车控制系统-3级列车控制系统, 车地通信, 安全加密, 着色Petri网建模

Abstract: Concerning the problem of train-ground safety communication in the Chinese Train Control System (CTCS)-3 train control system, a new model for information interaction between Radio Block Center (RBC) and train based on Petri net theory was designed by using the hierarchical modelling idea, and the simulation tool of Colored Petri Net (CPN) tools was used to dynamically simulate the whole process of generating, encrypting and transmitting the transmission information between train and RBC. The designed model was mainly divided into three parts. Firstly, the Movement Authority (MA) was requested by the train. Then, the MA under full supervision mode was generated by the RBC. Finally, the MA was received by train through wireless network and the safety control of train was performed according to the MA. The dynamic simulation and state space analysis tools were used to simulate and analyze the proposed model. The simulation results show that, the designed model can meet the design requirements of train-ground information transmission with boundedness, activity, regression and fairness. The designed model can be used for safe transmission of train-ground information, reducing software design flaws.

Key words: high-speed railway, Chinese Train Control System (CTCS)-3 train control system, train-ground communication, security encryption, Colored Petri Net (CPN) modeling

中图分类号: