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