基于UML的車站信號(hào)軟件建模.pdf

1、鐵路計(jì)算機(jī)聯(lián)鎖系統(tǒng)是以計(jì)算機(jī)技術(shù)為核心，通過采用通信、可靠性和容錯(cuò)以及“故障-安全”技術(shù)，實(shí)現(xiàn)聯(lián)鎖要求的實(shí)時(shí)控制系統(tǒng)。車站信號(hào)聯(lián)鎖軟件作為計(jì)算機(jī)聯(lián)鎖系統(tǒng)的核心，是一種保證站內(nèi)行車安全、提高行車效率的典型安全苛求性軟件。以聯(lián)鎖基本原理為基礎(chǔ)，采用統(tǒng)一建模語言UML，基于模型驅(qū)動(dòng)開發(fā)技術(shù)，為聯(lián)鎖軟件建立通用設(shè)計(jì)模型。進(jìn)一步對(duì)所建立模型進(jìn)行驗(yàn)證，保證基本聯(lián)鎖功能的實(shí)現(xiàn)，完成設(shè)計(jì)級(jí)糾錯(cuò)。 本文以鐵路車站信號(hào)聯(lián)鎖控制系統(tǒng)為背景，結(jié)合軟件工

2、程理論，研究基于UML對(duì)聯(lián)鎖軟件進(jìn)行建模，主要進(jìn)行了以下研究工作： 1.對(duì)計(jì)算機(jī)聯(lián)鎖系統(tǒng)進(jìn)行功能需求分析，并結(jié)合系統(tǒng)的硬件結(jié)構(gòu)，從整體上對(duì)聯(lián)鎖軟件進(jìn)行架構(gòu)，建立用例角度的UML模型視圖。 2.從靜態(tài)角度，對(duì)計(jì)算機(jī)聯(lián)鎖系統(tǒng)結(jié)構(gòu)進(jìn)行建模分析。根據(jù)聯(lián)鎖系統(tǒng)的特點(diǎn)，主要對(duì)室外信號(hào)設(shè)備(包括信號(hào)機(jī)、道岔、軌道電路和進(jìn)路)提出了狀態(tài)變化角度的靜態(tài)結(jié)構(gòu)模型。 3.從動(dòng)態(tài)角度，對(duì)聯(lián)鎖系統(tǒng)的核心--進(jìn)路控制過程進(jìn)行分析和子模塊劃分

3、，并對(duì)各個(gè)子過程建立了動(dòng)態(tài)過程模型(即子過程UML活動(dòng)圖模型)。 4.利用Rhapsody的仿真模擬功能(Animation)，對(duì)所建模型進(jìn)行調(diào)試和動(dòng)態(tài)模擬，實(shí)現(xiàn)模型級(jí)糾錯(cuò)和驗(yàn)證。并結(jié)合Windows平臺(tái)下，采用Visual Studio 6.0開發(fā)環(huán)境，基于C++語言，搭建GUI圖形用戶界面驅(qū)動(dòng)模型，再次對(duì)所建模型進(jìn)行設(shè)計(jì)級(jí)的調(diào)試。 最終建立從需求規(guī)格分析定義到系統(tǒng)實(shí)現(xiàn)的完整鐵路車站信號(hào)系統(tǒng)模型。本文創(chuàng)新之處主要在于采