DSL在計(jì)算機(jī)聯(lián)鎖軟件開發(fā)中的應(yīng)用研究.pdf

1、計(jì)算機(jī)聯(lián)鎖系統(tǒng)是保證鐵路行車安全、提高行車效率的關(guān)鍵信號(hào)設(shè)備，聯(lián)鎖軟件是系統(tǒng)的核心單元。近年來，計(jì)算機(jī)聯(lián)鎖系統(tǒng)在世界范圍內(nèi)得到廣泛應(yīng)用，成為車站聯(lián)鎖系統(tǒng)的主要發(fā)展方向，在技術(shù)和功能上也對(duì)聯(lián)鎖軟件提出了新的要求。傳統(tǒng)軟件開發(fā)方法在軟件可靠性、安全性、開發(fā)效率以及可維護(hù)性上都顯露出不足，本文提出的以領(lǐng)域建模語言(Domain Specific Language，DSL)為核心的聯(lián)鎖軟件開發(fā)方法，通過集成領(lǐng)域建模語言、模型轉(zhuǎn)換技術(shù)、模型檢驗(yàn)及

2、仿真理論和方法，有效提高了聯(lián)鎖軟件的可靠性、安全性和自動(dòng)化水平。
　　本文以聯(lián)鎖軟件的核心--進(jìn)路控制過程為研究重點(diǎn)，提出以DSL為核心的聯(lián)鎖軟件開發(fā)方法實(shí)現(xiàn)了基于DSL-S的站場(chǎng)平面圖的繪制、聯(lián)鎖表的自動(dòng)生成及驗(yàn)證、進(jìn)路控制流程的建模、基于模型轉(zhuǎn)換的進(jìn)路控制程序的生成以及代碼的仿真。
　　本文首先介紹了鐵路車站平面圖建模語言(DSL-S)及其編輯器的設(shè)計(jì)目標(biāo)，并給出具體的設(shè)計(jì)方法，其次分析了聯(lián)鎖表的主要內(nèi)容及其生成方法，并

3、提出基于探索回溯思想的聯(lián)鎖表自動(dòng)生成算法，接著給出基于時(shí)間自動(dòng)機(jī)及其驗(yàn)證工具UPPAAL的聯(lián)鎖表的驗(yàn)證方法，又在分析了聯(lián)鎖進(jìn)路控制流程的基礎(chǔ)上，利用xUML建立了進(jìn)路控制的模型，重點(diǎn)闡述了通過模型轉(zhuǎn)換技術(shù)完成進(jìn)路控制代碼的生成的原理以及對(duì)生成的代碼進(jìn)行仿真的主要步驟，最后以某一具體車站的聯(lián)鎖軟件開發(fā)為例，闡述了以DSL為核心的軟件開發(fā)方法在實(shí)際的聯(lián)鎖軟件開發(fā)中的應(yīng)用。
　　論文工作表明，用本文提出的以DSL為核心的軟件開發(fā)方法開發(fā)