基于UML的聯(lián)鎖軟件建模與仿真研究.pdf

1、車站信號計算機聯(lián)鎖軟件是一種保證站內(nèi)行車安全，實現(xiàn)進路控制的安全性苛求軟件。為了提高聯(lián)鎖軟件的安全性和可靠性，分析了通用計算機聯(lián)鎖系統(tǒng)體系結(jié)構(gòu)，基于統(tǒng)一建模語言(UML)，建立了聯(lián)鎖軟件系統(tǒng)模型。在此基礎(chǔ)上，設(shè)計了一套實現(xiàn)基本聯(lián)鎖功能的聯(lián)鎖軟件系統(tǒng)，并在uClinux下進行仿真研究。 論文所做的主要工作有： 首先，分析聯(lián)鎖系統(tǒng)的功能需求，設(shè)計了通用計算機聯(lián)鎖系統(tǒng)的總體結(jié)構(gòu)?；谠摻Y(jié)構(gòu)，建立最小系統(tǒng)的聯(lián)鎖軟件結(jié)構(gòu)模型。

2、 其次，設(shè)計了不同信號受控對象(信號機、道岔、軌道電路、進路)的數(shù)據(jù)結(jié)構(gòu)，對對象的狀態(tài)變化進行建模。 之后，針對一次完整的進路過程，建立進路控制過程的模型。分析了進路從建立到解除的狀態(tài)變化過程，將UML狀態(tài)圖與有限狀態(tài)機結(jié)合起來，采用細粒度的有限狀態(tài)機建立該狀態(tài)變化過程的模型。 再次，根據(jù)計算機聯(lián)鎖技術(shù)條件的聯(lián)鎖要求，比對并借鑒6502網(wǎng)絡(luò)線邏輯，分析了基本進路過程中各個子過程的處理思想及軟件流程，采用UML的類圖、