本發(fā)明涉及一種安全計算機平臺的構(gòu)建方法，具體涉及一種基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法，屬于計算機智能控制技術(shù)領(lǐng)域。

背景技術(shù)：

隨著安全苛求系統(tǒng)在鐵路、航空航天、工業(yè)控制等領(lǐng)域應(yīng)用得越來越廣泛，安全計算機技術(shù)的發(fā)展越來越受到人們的重視，已經(jīng)形成了一個專門的學(xué)術(shù)分支，為了擴(kuò)大適用范圍、減少開發(fā)成本和維護(hù)成本，安全計算機的開發(fā)正朝著通用化、可升級、可擴(kuò)展等方向發(fā)展。隨著城市化水平的不斷提高，世界各大城市都面臨著日益嚴(yán)峻的交通問題，交通壓力大、能源危機日益嚴(yán)重、交通安全、土地資源緊缺等問題，是目前城市交通巫待解決的問題，城市軌道交通以其運輸能力大、安全高速、乘坐舒適等特點，滿足了城市居民的出行要求，另外城市軌道交通在節(jié)約能源和土地資源方面也有著其他城市交通方式不可比擬的優(yōu)勢。因此，基于以上理論，提出一種基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法。

技術(shù)實現(xiàn)要素：

（一）要解決的技術(shù)問題

為解決上述問題，本發(fā)明提出了一種基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法，可靠性高、可用性強，且便于維護(hù)。

（二）技術(shù)方案

本發(fā)明的基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法，包括以下步驟：

第一步，描述基于模型工程的系統(tǒng)開發(fā)方法，指出其適用于安全計算機平臺設(shè)計，并確定主要工作；

第二步，針對CBTC系統(tǒng)對安全計算機平臺的RAMS需求和功能需求，提出了安全計算機平臺的系統(tǒng)高層AADL模型，介紹該模型為三模冗余結(jié)構(gòu)，由三個處理器和三個冗余管理單元組成，描述該平臺的工作原理和RM硬件單元邏輯功能；

第三步，根據(jù)系統(tǒng)結(jié)構(gòu)和工作原理，詳細(xì)描述平臺軟件流程，建立平臺軟件詳細(xì)AADL模型，重點說明該模型中系統(tǒng)表決、模式轉(zhuǎn)換和系統(tǒng)重構(gòu)模塊，驗證系統(tǒng)實時響應(yīng)時間、安全等級和可調(diào)度性三方面特性；

第四步，實現(xiàn)可擴(kuò)展安全計算機平臺試驗樣機，完成安全計算機平臺的所有基本功能，證明本設(shè)計的安全計算機平臺的可實現(xiàn)性。

（三）有益效果

與現(xiàn)有技術(shù)相比，本發(fā)明的基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法，通過對通道的增減可以容易地對系統(tǒng)進(jìn)行擴(kuò)展，可靠性高、可用性強，且便于維護(hù)。

具體實施方式

一種基于列車控制系統(tǒng)的可擴(kuò)展安全計算機平臺的構(gòu)建方法，包括以下步驟：

第一步，描述基于模型工程的系統(tǒng)開發(fā)方法，指出其適用于安全計算機平臺設(shè)計，并確定主要工作；

第二步，針對CBTC系統(tǒng)對安全計算機平臺的RAMS需求和功能需求，提出了安全計算機平臺的系統(tǒng)高層AADL模型，介紹該模型為三模冗余結(jié)構(gòu)，由三個處理器和三個冗余管理單元組成，描述該平臺的工作原理和RM硬件單元邏輯功能；

第三步，根據(jù)系統(tǒng)結(jié)構(gòu)和工作原理，詳細(xì)描述平臺軟件流程，建立平臺軟件詳細(xì)AADL模型，重點說明該模型中系統(tǒng)表決、模式轉(zhuǎn)換和系統(tǒng)重構(gòu)模塊，驗證系統(tǒng)實時響應(yīng)時間、安全等級和可調(diào)度性三方面特性；

第四步，實現(xiàn)可擴(kuò)展安全計算機平臺試驗樣機，完成安全計算機平臺的所有基本功能，證明本設(shè)計的安全計算機平臺的可實現(xiàn)性。

上面所述的實施例僅僅是對本發(fā)明的優(yōu)選實施方式進(jìn)行描述，并非對本發(fā)明的構(gòu)思和范圍進(jìn)行限定。在不脫離本發(fā)明設(shè)計構(gòu)思的前提下，本領(lǐng)域普通人員對本發(fā)明的技術(shù)方案做出的各種變型和改進(jìn)，均應(yīng)落入到本發(fā)明的保護(hù)范圍，本發(fā)明請求保護(hù)的技術(shù)內(nèi)容，已經(jīng)全部記載在權(quán)利要求書中。