基于UML的車站信號軟件建模.pdf

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

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

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