%0 Journal Article
%T 基于着色Petri网的无线闭塞中心安全加密
%A 戴胜华
%J 计算机应用
%D 2018
%R 10.11772/j.issn.1001-9081.2018050993
%X 摘要 针对中国列车控制系统（CTCS）-3级列车控制系统中的车地安全通信问题，采用层次化建模思想，设计了一种基于Petri网理论的无线闭塞中心（RBC）和列车之间信息交互的模型，并应用着色Petri网（CPN）tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分：列车申请行车许可（MA）、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得，所设计模型能够满足车地信息传输的设计需求规范，具有有界性、活性、回归性和公平性，可用于车地信息的安全传输，减少软件设计缺陷
%K 高速铁路
%K 中国列车控制系统-3级列车控制系统
%K 车地通信
%K 安全加密
%K 着色Petri网建模
%U http://www.joca.cn/CN/abstract/abstract22733.shtml