基于UML的軌道交通信號(hào)系統(tǒng)安全標(biāo)準(zhǔn)符合性論證方法研究.pdf

1、信號(hào)系統(tǒng)是保證軌道交通系統(tǒng)安全運(yùn)行的關(guān)鍵設(shè)備，為保證系統(tǒng)的安全水平，在其投入使用前必須進(jìn)行安全評(píng)估。安全評(píng)估的依據(jù)主要來(lái)源于安全標(biāo)準(zhǔn)，而目前我國(guó)軌道交通信號(hào)系統(tǒng)安全評(píng)估所依據(jù)的主要是歐洲鐵路行業(yè)安全標(biāo)準(zhǔn)體系。由于我國(guó)鐵路的發(fā)展，這些安全標(biāo)準(zhǔn)在應(yīng)用過(guò)程中存在對(duì)核心安全概念解讀的差異性，導(dǎo)致實(shí)施重點(diǎn)停留在符合性證據(jù)材料的堆砌，從而影響到我國(guó)軌道交通信號(hào)系統(tǒng)安全評(píng)估的有效性和可信性。
　　本論文借鑒國(guó)內(nèi)外軌道交通領(lǐng)域、航空和汽車(chē)領(lǐng)域?qū)Π?/p>

2、全標(biāo)準(zhǔn)符合性論證方法的研究，基于國(guó)際鐵路安全標(biāo)準(zhǔn)對(duì)信號(hào)系統(tǒng)安全評(píng)估的要求和建議，首先提出了一套安全標(biāo)準(zhǔn)元模型;其次，利用統(tǒng)一建模語(yǔ)言(UML)及擴(kuò)展機(jī)制實(shí)現(xiàn)了基于UML規(guī)范環(huán)境的安全標(biāo)準(zhǔn)建模方法。在此基礎(chǔ)上，引入了概念建模方法從軌道交通行業(yè)安全標(biāo)準(zhǔn)中提取安全證據(jù);最后，利用對(duì)象約束語(yǔ)言（OCL）設(shè)計(jì)了安全標(biāo)準(zhǔn)模型中安全概念間的約束關(guān)系，實(shí)現(xiàn)了證據(jù)間的關(guān)聯(lián)。論文以北京昌平線基于通信的列車(chē)運(yùn)行控制系（CBTC）的安全評(píng)估工程為例，建立了安全

3、證明文件規(guī)范模型，并驗(yàn)證了本文所提出的建模方法。
　　本論文的創(chuàng)新點(diǎn)主要包括以下幾點(diǎn):
　　(1)提出了一種基于概念建模的安全標(biāo)準(zhǔn)概念提取方法，并基于軌道交通IEC62425建立了安全概念模型。
　　(2)提出了一種安全標(biāo)準(zhǔn)元模型設(shè)計(jì)方案，并在RSA建模環(huán)境中，使用UML不同視圖和UML擴(kuò)展機(jī)制，將元模型實(shí)例化為IEC62425安全標(biāo)準(zhǔn)模型。
　　(3)基于對(duì)象約束語(yǔ)言O(shè)CL描述了安全標(biāo)準(zhǔn)模型中安全概念間的約束關(guān)