基于TCPN的CTCS-1級(jí)列控系統(tǒng)RDC形式化建模與分析.pdf

1、新一代CTCS-1(Chinese Train Control System-Level1)級(jí)列控系統(tǒng)是為提升普速列車安全性、可靠性、運(yùn)輸效率和自動(dòng)化水平而對(duì)既有線列控系統(tǒng)進(jìn)行的一次技術(shù)升級(jí)，目的是實(shí)現(xiàn)車載線路數(shù)據(jù)下放到地面，由地面統(tǒng)一管理的現(xiàn)實(shí)需求，保證臨時(shí)限速的即時(shí)更新，減少司機(jī)對(duì)控車數(shù)據(jù)的操作，提升既有線列控設(shè)備的自動(dòng)化水平。區(qū)域列控?cái)?shù)據(jù)中心(RDC)為CTCS-1級(jí)列控系統(tǒng)地面設(shè)備的核心，負(fù)責(zé)CTCS-1級(jí)列車的管理，以無(wú)線形式

2、向列車提供行包含線路數(shù)據(jù)、鏈接應(yīng)答器、進(jìn)路與臨時(shí)限速的行車數(shù)據(jù)。RDC系統(tǒng)的形式化建模與驗(yàn)證分析能保證RDC系統(tǒng)軟件的完備性，安全性，可靠性，對(duì)于既有線列控設(shè)備技術(shù)升級(jí)具有促進(jìn)意義。
　　論文選擇基于ML語(yǔ)言的時(shí)間有色Petri網(wǎng)(TCPN)對(duì)RDC系統(tǒng)進(jìn)行功能設(shè)計(jì)、建模仿真和驗(yàn)證分析研究，論文完成的主要工作如下:
　　首先，綜合有色Petri網(wǎng)與時(shí)間Petri網(wǎng)二者特點(diǎn)，提出針對(duì)實(shí)時(shí)并發(fā)系統(tǒng)的TCPN形式化建模與分析方法，

3、給出了基于ML語(yǔ)言的TCPN模型建模與分析一般流程，在此基礎(chǔ)上，構(gòu)建了CTCS-1級(jí)RDC建模與模型驗(yàn)證分析的整體框架，該框架涵蓋了RDC需求分析、功能設(shè)計(jì)、建模、功能驗(yàn)證分析、軟件架構(gòu)設(shè)計(jì)、軟件開(kāi)發(fā)與仿真實(shí)現(xiàn)等內(nèi)容。
　　然后，通過(guò)分析RDC系統(tǒng)特點(diǎn)、內(nèi)部功能需求、交互功能需求，對(duì)RDC系統(tǒng)總體功能與主要模塊功能進(jìn)行設(shè)計(jì)，其中模塊功能設(shè)計(jì)涵蓋CTCS-1級(jí)列車注冊(cè)與啟動(dòng)、注銷、等級(jí)轉(zhuǎn)換、行車數(shù)據(jù)生成、列車移交等主要運(yùn)營(yíng)場(chǎng)景，并且

4、對(duì)比分析了RDC與CTCS-3級(jí)無(wú)線閉塞中心(RBC)在主要運(yùn)營(yíng)場(chǎng)景中的功能差異。
　　其次，根據(jù)設(shè)計(jì)的RDC系統(tǒng)功能，分別建立了RDC交互功能與主體功能的TCPN模型，并采用時(shí)間有色Petri網(wǎng)分層的思想降低模型復(fù)雜度與狀態(tài)空間維度，將主體功能模型細(xì)化為車載設(shè)備自檢子模型、RDC工作狀態(tài)檢查子模型、RDC與C1-ATP建鏈子模型、通信會(huì)晤建立子模型、列車數(shù)據(jù)確認(rèn)子模型、行車數(shù)據(jù)交互子模型;同時(shí)建立列控等級(jí)切換、列車移交、C1車與