列控-安全信息传输系统可靠性及安全性的形式化分析
高莺1
张琦2
陈黎洁3
刘宏杰4
1.中国铁道科学研究院研究生部,北京100081;中国铁道科学研究院国家铁路智能运输系统工程技术研究中心,北京1000812.中国铁道科学研究院通信信号研究所,北京100081;中国铁道科学研究院国家铁路智能运输系统工程技术研究中心,北京1000813.中国铁道科学研究院标准计量研究所,北京,1000814.北京交通大学轨道交通控制与安全国家重点实验室,北京100044;北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044
摘要：基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.
关键词：列控-安全信息传输系统Petri网可靠性安全性模型检验
分类号：TN915.04(通信)TP393(计算技术、计算机技术)U285.2(铁路通信、信号)U284.48(铁路通信、信号)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 61-68 )
英文信息