城市軌道交通區(qū)域計算機聯(lián)鎖仿真系統(tǒng)的研究.pdf

1、計算機聯(lián)鎖系統(tǒng)是車站信號控制系統(tǒng)，是保證列車安全運行的關(guān)鍵設(shè)備之一，計算機聯(lián)鎖系統(tǒng)作為安全性要求比較苛刻的系統(tǒng)，其自身開發(fā)過程的安全性和可靠性是設(shè)計的關(guān)鍵，因此在軟件的開發(fā)過程中，必須要有一套完整的建模工具和驗證方法滿足其安全性和有效性。本文以城市軌道交通的聯(lián)鎖系統(tǒng)為研究對象進行仿真研究。
　　通過對比國鐵和城市軌道交通聯(lián)鎖系統(tǒng)的異同點，明確滿足城市軌道交通聯(lián)鎖的功能需求，采用集成建模方法對進路的各個過程進行分析研究，首先采用UM

2、L(UnifiedModelingLanguage，統(tǒng)一建模語言)進行系統(tǒng)軟件的建模，由于UML沒有自己的驗證工具，因此必須采用UML轉(zhuǎn)換為CPN(ColoredPetriNets，有色Petri網(wǎng))的基本規(guī)則，將建立的UML模型轉(zhuǎn)換為Petri網(wǎng)模型進行研究。
　　為了驗證建立模型的正確性以及該建模方法的有效性，將進路基本過程的功能需求進行深入研究分析，采用UML的用例、活動圖等對其功能需求進行描述，進而轉(zhuǎn)換為相應(yīng)的Petri網(wǎng)

3、模型，采用CPNTools驗證工具對建立的模型的正確性進行驗證，選取了進路的選排過程作為代表進行研究，驗證的結(jié)果表明:該Petri模型滿足城市軌道交通運營的特點。
　　利用CPNTools驗證工具對建立的Petri網(wǎng)模型進行正確性驗證后，依據(jù)軟件開發(fā)的“V”子模型，對聯(lián)鎖系統(tǒng)的各個功能過程進行從概要到細化的過程分析，根據(jù)進路過程的模型分析，畫出相對應(yīng)的流程圖，指導后續(xù)的以VC++為編程工具來模擬進路的基本聯(lián)鎖功能。
　　根據(jù)