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

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

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

【部分圖文】：

C3+ATO系統(tǒng)車載設(shè)備構(gòu)成圖

TARBC模型圖

TADriver模型圖

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

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



本文編號(hào)：3081589