北京交通大学学报
北京交通大學學報
북경교통대학학보
JOURNAL OF NORTHERN JIAOTONG UNIVERSITY
2011年
2期
76-81
,共6页
列车运行控制系统%车地信息交互流程%形式化建模与验证%时间自动机
列車運行控製繫統%車地信息交互流程%形式化建模與驗證%時間自動機
열차운행공제계통%차지신식교호류정%형식화건모여험증%시간자동궤
正在建设的时速300km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性.
正在建設的時速300km/h以上的高速鐵路已採用CTCS-3級列車運行控製繫統.車地信息交互流程是影響CTCS-3級列控繫統的效率、可靠性和安全性的主要因素之一.基于時間自動機理論對車地交互流程進行建模與驗證具有重要意義.首先將車地交互流程分為4箇典型的子流程:任務啟動流程、正常行車流程、RBC切換流程和任務結束流程,然後針對這些子流程建立無線閉塞中心(RBC)、車載設備(ATP)和鐵路專用移動通信網(GSM-R)的時間自動機網絡模型,最後利用時間自動機模型驗證工具UPPAAL進行倣真分析,驗證瞭CTCS-3級列控繫統的車地交互流程的安全性和受限活性.
정재건설적시속300km/h이상적고속철로이채용CTCS-3급열차운행공제계통.차지신식교호류정시영향CTCS-3급렬공계통적효솔、가고성화안전성적주요인소지일.기우시간자동궤이론대차지교호류정진행건모여험증구유중요의의.수선장차지교호류정분위4개전형적자류정:임무계동류정、정상행차류정、RBC절환류정화임무결속류정,연후침대저사자류정건립무선폐새중심(RBC)、차재설비(ATP)화철로전용이동통신망(GSM-R)적시간자동궤망락모형,최후이용시간자동궤모형험증공구UPPAAL진행방진분석,험증료CTCS-3급렬공계통적차지교호류정적안전성화수한활성.
