列控-安全信息传输系统可靠性及安全性的形式化分析

• 作 者: 高莺 张琦 陈黎洁 刘宏杰
• 机 构: 中国铁道科学研究院,中国铁道科学研究院通信信号研究所,中国铁道科学研究院国家铁路智能运输系统工程技术研究中心,中国铁道科学研究院标准计量研究所,北京交通大学轨道交通控制与安全国家重点实验室,北京交通大
• 出 处: 北京交通大学学报：自然科学版
• 发表日期: 2018年2期
• 关键词: 列控-安全信息传输系统 PETRI网 可靠性 安全性 模型检验 China-radio Petri net reliability safety model c
• 基金项目: 国家自然科学基金（U1434209）,中国铁路总公司科技研究开发计划课题（2015D002-B）,中央高校基本科研业务费专项资金（016JBM007）,中国铁道科学研究院科研项目（1551ZJ0804）,交控科技设计创新学科发展基金（9907006510）

基于通信的列控（ CBTC ）系统使用基于IEEE 802. 11系列的无线局域网实现车-地双向信 息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了 解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增 加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通 信协议形成列控一安全信息传输系统（ China-Radio）,使用随机Petri网建立了双网冗余结构的无线 局域网的可靠性模型,并与单网结构进行了