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

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

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

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