C3+ATO系統(tǒng)在控制列車運行方面發(fā)揮重要作用且其功能關乎列車自動駕駛運行安全。為保障高速鐵路C3+ATO系統(tǒng)功能安全,提出一種基于時間自動機的系統(tǒng)功能建模與仿真驗證方法。以車載設備模式轉(zhuǎn)換功能為例,根據(jù)C3+ATO系統(tǒng)規(guī)范中的功能需求,建立各組成設備的時間自動機模型,然后通過通信事件構成時間自動機網(wǎng)絡模型;生成對應流程的消息順序圖并對系統(tǒng)安全性、可達性、存在性進行驗證,并在C3+ATO系統(tǒng)仿真平臺驗證。仿真驗證結果表明,該模型滿足C3+ATO系統(tǒng)的功能屬性要求,為后續(xù)C3+ATO系統(tǒng)設計開發(fā)、測試試驗、實際應用及相關規(guī)范完善提供理論參考。 

【文章來源】：控制工程. 2020,27(11)北大核心

【文章頁數(shù)】：8 頁

【部分圖文】：

C3+ATO系統(tǒng)車載設備構成圖

TARBC模型圖

TADriver模型圖

【參考文獻】：
期刊論文
[1]基于時間自動機模型的區(qū)域控制器測試序列自動生成方法（英文）[J]. 宋爽,陳躍東.  Journal of Measurement Science and Instrumentation. 2019(03)
[2]高速鐵路CTCS3+ATO列控系統(tǒng)技術研究[J]. 程劍鋒,馮凱,李科.  中國鐵路. 2019(01)
[3]京張智能動車組——從“中國創(chuàng)造”向“中國智造”的里程碑式跨越[J]. 劉長青.  城市軌道交通研究. 2018(02)
[4]車載設備故障導致CTCS等級轉(zhuǎn)換的建模與仿真[J]. 胡曉輝,王元鵬,陳永,劉全.  計算機工程與應用. 2016(18)
[5]一種基于模型的形式化測試序列自動生成方法及在ETCS-2中的應用[J]. 趙顯瓊,鄭偉,唐濤.  鐵道學報. 2012(05)
[6]CTCS-3級列控系統(tǒng)車載設備測試序列的優(yōu)化[J]. 李偉,王海峰.  北京交通大學學報. 2010(02)

碩士論文
[1]CTCS-1級列控系統(tǒng)車載設備安全性分析[D]. 王昊.北京交通大學 2017
[2]基于模型的列控系統(tǒng)危險辨識方法研究[D]. 姚笑菲.北京交通大學 2015
[3]基于場景的列控車載設備測試用例自動生成方法研究[D]. 趙偉慧.北京交通大學 2014
[4]基于時間自動機的CTCS-3級列控系統(tǒng)建模方法與驗證研究[D]. 康仁偉.北京交通大學 2013



本文編號：3081589