基于模型的軌旁仿真子系統(tǒng)驗證及代碼自動生成.pdf

1、目前我國已經(jīng)進(jìn)入了高鐵時代，計算機(jī)、通信、自動控制等各種先進(jìn)技術(shù)被越來越多的應(yīng)用于列車運(yùn)行控制系統(tǒng)，列車運(yùn)行控制系統(tǒng)作為一個安全苛求系統(tǒng)，在保障行車安全的基礎(chǔ)上，如何不斷提高列車的運(yùn)行速度和運(yùn)輸效率，一直以來都是鐵路研究的重點，因此，必須對作為安全保障的CTCS-3級列車運(yùn)行控制系統(tǒng)進(jìn)行持續(xù)深入的研究。本文依托于CTCS-3級列控系統(tǒng)仿真測試平臺，該平臺主要用于對CTCS-3級列車運(yùn)行控制系統(tǒng)進(jìn)行系統(tǒng)研究、方案比對以及線路改造數(shù)據(jù)的實驗

2、模擬等，為設(shè)備及線路改造后的行車狀況提供實驗室環(huán)境下的仿真測試。
　　本文針對CTCS-3級列控系統(tǒng)仿真測試平臺的關(guān)鍵設(shè)備軌旁子系統(tǒng)進(jìn)行了深入的研究。采用規(guī)范說明和描述語言(SDL)對軌旁子系統(tǒng)進(jìn)行建模分析以及相關(guān)的驗證工作，并在計算機(jī)軟件環(huán)境下實現(xiàn)軌旁功能仿真。首先依據(jù)CTCS-3級列控系統(tǒng)系統(tǒng)需求規(guī)范對軌旁子系統(tǒng)進(jìn)行系統(tǒng)功能需求分析，從而確定軌旁子系統(tǒng)與仿真測試平臺中其他各子系統(tǒng)的通信交互關(guān)系，以及軌旁子系統(tǒng)自身的仿真功能。在

3、此基礎(chǔ)上，使用規(guī)范說明和描述語言SDL對軌旁子系統(tǒng)從系統(tǒng)圖、功能塊圖和進(jìn)程圖的層面上建立了軌旁子系統(tǒng)的圖形化模型，利用Telelogic TAU工具對所建模型進(jìn)行協(xié)同仿真和遍歷驗證，驗證了該SDL系統(tǒng)模型的正確性。最后，將構(gòu)建的軌旁子系統(tǒng)的SDL模型轉(zhuǎn)換為C語言代碼，并應(yīng)用于CTCS-3級列控系統(tǒng)仿真測試平臺的軌旁子系統(tǒng)中，測試結(jié)果表明，基于模型自動生成的代碼實現(xiàn)了軌旁仿真子系統(tǒng)應(yīng)具備的功能，達(dá)到了預(yù)期目標(biāo)，能滿足CTCS-3級列控系統(tǒng)