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

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

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

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