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

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

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

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