CBTC系統(tǒng)移動授權(quán)生成的建模與實現(xiàn).pdf

1、隨著無線通信技術(shù)的飛速發(fā)展，無線通信的可靠性、可用性大大提高，基于通信的列車控制(Communication Based Train Control，CBTC)系統(tǒng)應(yīng)運而生，已成為列車運行控制系統(tǒng)的發(fā)展趨勢。CBTC系統(tǒng)的出現(xiàn)，無論從功能方面還是從性能方面都相對于傳統(tǒng)的列車運行控制系統(tǒng)有了巨大的提升與改進。 在城市軌道交通中，CBTC系統(tǒng)的主要任務(wù)是保證列車在系統(tǒng)控制的線路內(nèi)安全運行，這是通過為每列通信列車提供一個移動授權(quán)(Mo

2、vement Authority，MA)來完成的。因此，生成合理安全的MA，是保證整個系統(tǒng)正常運轉(zhuǎn)的關(guān)鍵。 論文首先從MA的含義入手，對生成MA的區(qū)域控制中心系統(tǒng)進行了詳細的需求分析；從資源、結(jié)構(gòu)以及數(shù)據(jù)流等方面闡述了MA的生成原理：并提出了MA的相關(guān)算法。 論文接著基于有色Petri網(wǎng)(Colored Pctri Nets，CPN)的形式化建模方法建立了MA生成的模型。通過采用層次建模技術(shù)，以MA生成為研究對象，以區(qū)域

3、控制中心為模型主體，利用CPN Tools工具建立系統(tǒng)層、處理層及功能層三層模型，并采用歸約方法簡化模型復(fù)雜度。通過基于狀態(tài)空間的分析方法對模型所應(yīng)具備功能的合理性及完備性進行分析和驗證，從而為區(qū)域控制中心系統(tǒng)應(yīng)用軟件的設(shè)計提供了理論依據(jù)。 論文最后按照軟件生命周期的開發(fā)模式，依據(jù)所建立的系統(tǒng)體系結(jié)構(gòu)模型，在基于VxWorks實時操作系統(tǒng)和二乘二取二安全計算機平臺的開發(fā)環(huán)境中，完成區(qū)域控制中心應(yīng)用軟件的詳細設(shè)計，實現(xiàn)MA生成功能