基于特征分析的鐵路信號聯(lián)鎖安全控制邏輯領域建模.pdf

1、計算機聯(lián)鎖系統(tǒng)是通過對車站信號設備的控制，實現(xiàn)聯(lián)鎖功能，保證行車安全和提高行車效率的實時控制系統(tǒng)。聯(lián)鎖軟件作為計算機聯(lián)鎖系統(tǒng)的核心，是一種規(guī)模龐大、功能復雜的安全苛求性軟件。聯(lián)鎖軟件開發(fā)難度大、開發(fā)周期長。隨著計算機聯(lián)鎖系統(tǒng)的發(fā)展，在聯(lián)鎖軟件開發(fā)中實現(xiàn)軟件復用，對提高軟件開發(fā)效率和開發(fā)質量具有重要實際意義。
　　傳統(tǒng)的聯(lián)鎖軟件開發(fā)方法缺乏指導進行軟件復用的技術手段，領域工程是實現(xiàn)軟件復用的關鍵技術，有利于實現(xiàn)大粒度的軟件復用。因此

2、，基于領域工程方法開發(fā)聯(lián)鎖軟件是一項值得研究的課題。本文以計算機聯(lián)鎖系統(tǒng)為背景，結合領域工程理論，研究基于特征分析的領域建模方法在聯(lián)鎖系統(tǒng)核心功能建模與開發(fā)中的應用。
　　論文主要研究內容如下:
　　(1)分析了聯(lián)鎖軟件開發(fā)的方法及現(xiàn)狀，剖析了已有軟件開發(fā)方法在軟件復用上的不足。闡述了領域工程的定義、基本理論以及工程意義。在此基礎上，分析了領域工程方法應用于聯(lián)鎖軟件開發(fā)中的可行性和重要性。
　　(2)闡述了領域工程方法

3、的研究現(xiàn)狀，分析了領域工程發(fā)展方向。針對聯(lián)鎖系統(tǒng)的領域特點，確定采用一種基于領域特征分析的領域建模方法進行聯(lián)鎖軟件開發(fā)研究。
　　(3)將面向特征的領域分析方法應用于聯(lián)鎖系統(tǒng)的需求分析中。劃分了聯(lián)鎖軟件領域的結構層次。重點對聯(lián)鎖系統(tǒng)核心——聯(lián)鎖邏輯模塊進行上下文分析，定義了聯(lián)鎖邏輯模塊的領域邊界。設計了實體關系模型，以領域實體和實體之間的關系描述了聯(lián)鎖邏輯領域知識。通過建立信號控制單元（包括信號機、道岔、軌道電路和進路）的特征模型