-
题名铁路列控安全信息监督仿真测试平台研究
被引量：9
- 1
-
-
作者
刘伟
石成
-
机构
河南辉煌科技股份有限公司微机监测产品部
-
出处
《中国铁路》
2021年第6期141-146,共6页
-
基金
中国国家铁路集团有限公司科技研究开发计划项目(N2020G012)。
-
文摘
随着铁路信号技术的发展,各信号子系统自身的安全性和可靠性越来越高,但设备间结合部的隐患仍存在,未对信号子系统的各种信息资源进行整合,缺乏对系统间列控安全信息的监督提示。在研究列控安全信息监督的同时,同步开展列控安全信息监督仿真测试平台的研发。重点从仿真测试平台的总体架构、网络结构、仿真系统、被测系统等方面进行阐述,并对需要制定的相关标准提出建议。
-
关键词
铁路信号系统
列控安全信息
安全监督
仿真
测试平台
集中监测
-
Keywords
railway signalling system
train control safety information
safety supervision
simulation
test platform
centralized monitoring
-
分类号
U284
[交通运输工程—交通信息工程及控制]
-
-
题名列控-安全信息传输系统可靠性及安全性的形式化分析
被引量：6
- 2
-
-
作者
高莺
张琦
陈黎洁
刘宏杰
-
机构
中国铁道科学研究院
中国铁道科学研究院通信信号研究所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
中国铁道科学研究院标准计量研究所
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
-
出处
《北京交通大学学报》
CAS
CSCD
北大核心
2018年第2期61-68,共8页
-
基金
国家自然科学基金(U1434209)
中国铁路总公司科技研究开发计划课题(2015D002-B)
+2 种基金
中央高校基本科研业务费专项资金(016JBM007)
中国铁道科学研究院科研项目(1551ZJ0804)
交控科技设计创新学科发展基金(9907006510)
-
文摘
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.
-
关键词
列控-安全信息传输系统
PETRI网
可靠性
安全性
模型检验
-
Keywords
China-radio
Petri net
reliability
safety
model checking
-
分类号
TN915.04
[电子电信—通信与信息系统]
U285.2
[交通运输工程—交通信息工程及控制]
-
