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

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

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