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

Security encryption of radio block center based on colored Petri net

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

Concerning the problem of train-ground safety communication in the Chinese Train Control System(CTCS)-3train 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.