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

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

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

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