基于著色Petri網(wǎng)的ETCS 2級(jí)形式化建模.pdf

1、歐洲鐵路運(yùn)輸管理系統(tǒng)(ERTMS)和歐洲列車控制系統(tǒng)(ETCS)是歐盟委員會(huì)(EU)和國(guó)際鐵路聯(lián)盟(UIC)為實(shí)現(xiàn)全歐洲高速鐵路網(wǎng)互聯(lián)運(yùn)輸，組織開發(fā)的新型管理和信號(hào)系統(tǒng)。ETCS是ERTMS的核心，ETCS采用基于通信的列車控制技術(shù)，根據(jù)不同的應(yīng)用，劃分了5個(gè)等級(jí)，其中ETCS2級(jí)采用無(wú)線通信(GSM-R)來(lái)實(shí)現(xiàn)車地信息傳輸，用點(diǎn)式設(shè)備作為列車定位參考，實(shí)現(xiàn)固定閉塞。ETCS2級(jí)應(yīng)用對(duì)我國(guó)當(dāng)前鐵路列車控制系統(tǒng)有一定的參考意義。本文闡述了

2、ETCS的基本概況，詳細(xì)分析了ETCS2級(jí)應(yīng)用的系統(tǒng)組成、主要原理、運(yùn)行模式等。 ERTMS/ETCS技術(shù)標(biāo)準(zhǔn)都是用非形式化自然語(yǔ)言發(fā)布的，有可能存在一些模糊，甚至矛盾、錯(cuò)誤的地方。著色Petri網(wǎng)(ColouredPetriNet，簡(jiǎn)稱CPN)是一種比較成熟的圖形化的建模語(yǔ)言，可以用于系統(tǒng)設(shè)計(jì)、規(guī)范、仿真和驗(yàn)證，特別適合具有通信、同步和資源共享過(guò)程的系統(tǒng)建模。本文用具有嚴(yán)格數(shù)學(xué)定義的形式化語(yǔ)言CPN和它的支持工具CPNTool