北京交通大学学报2018，Vol.42Issue(2)：61-68,8.DOI:10.11860/j.issn.1673-0291.2018.02.009
列控-安全信息传输系统可靠性及安全性的形式化分析
Formal analysis for reliability and safety of China-Radio in train control system
摘要
Abstract
IEEE 802.11 based WLAN (Wireless Local Area Network) technology is the basis for bi-directional communication between on-board and wayside equipment in CBTC system,but it could not satisfy the reliability and safety requirements in safety-critical train control system.In order to solve this problem,dual redundant network is a common way to increase communication system reliability,and safety communication protocol is often used to improve the safety performance.A specific communication system is proposed for the reliable and safe data exchange in train control system,which is called China-Radio,where a safety protocol is applied based on a dual redundant WLAN.To evaluate the performance improvement,firstly we built the reliability model of the dual redundant WLAN using the stochastic Petri net,calculate formally and mathematically,and compare with the single network model,which proves a great improvement of the reliability performance.Then the China-Radio by colored Petri net is modelled,and the functional safety of the system by model checking method is formally validated,which shows that China-Radio satisfies the safety requirement of the CBTC system.关键词
列控-安全信息传输系统/Petri网/可靠性/安全性/模型检验Key words
China-radio/Petri net/reliability/safety/model checking分类
信息技术与安全科学引用本文复制引用
高莺,张琦,陈黎洁,刘宏杰..列控-安全信息传输系统可靠性及安全性的形式化分析[J].北京交通大学学报,2018,42(2):61-68,8.基金项目
国家自然科学基金(U1434209) （U1434209）
中国铁路总公司科技研究开发计划课题(2015D002-B) （2015D002-B）
中央高校基本科研业务费专项资金(2016JBM007) （2016JBM007）
中国铁道科学研究院科研项目(1551ZJ0804) （1551ZJ0804）
交控科技设计创新学科发展基金(9907006510)National Natural Science of China (U1434209) （9907006510）
Science and Technology Research and Development Program of China Railway Corporation (2015D002-B) （2015D002-B）
Fundamental Research Funds for the Central Universities (2016JBM007) （2016JBM007）
Science and Research Program of China Academy of Railway Sciences (1551ZJ0804) （1551ZJ0804）
TCT Funding Program(9907006510) （9907006510）
