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

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

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