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

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