论文部分内容阅读
近年来,基于WLAN的CBTC（communication based train control,基于通信的列车运行控制）系统在城市轨道交通中的应用日益广泛.CBTC系统属于安全苛求系统,而基于WLAN技术的无线通信子系统属于开放传输系统,信息在传输过程中容易受各种未知因素的干扰.为了确保相关数据的安全可靠传输,完成了一种具有安全防护功能的CBTC通信协议的设计.运用形式化建模语言CPN（colored Petri net,有色Petri网）对所设计的协议进行了建模描述.状态空间分析法验证结果表明所设计