本發明涉及一種安全計算機平臺的構建方法，具體涉及一種基于列車控制系統的可擴展安全計算機平臺的構建方法，屬于計算機智能控制技術領域。

背景技術：

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

技術實現要素：

（一）要解決的技術問題

為解決上述問題，本發明提出了一種基于列車控制系統的可擴展安全計算機平臺的構建方法，可靠性高、可用性強，且便于維護。

（二）技術方案

本發明的基于列車控制系統的可擴展安全計算機平臺的構建方法，包括以下步驟：

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

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

第三步，根據系統結構和工作原理，詳細描述平臺軟件流程，建立平臺軟件詳細AADL模型，重點說明該模型中系統表決、模式轉換和系統重構模塊，驗證系統實時響應時間、安全等級和可調度性三方面特性；

第四步，實現可擴展安全計算機平臺試驗樣機，完成安全計算機平臺的所有基本功能，證明本設計的安全計算機平臺的可實現性。

（三）有益效果

與現有技術相比，本發明的基于列車控制系統的可擴展安全計算機平臺的構建方法，通過對通道的增減可以容易地對系統進行擴展，可靠性高、可用性強，且便于維護。

具體實施方式

一種基于列車控制系統的可擴展安全計算機平臺的構建方法，包括以下步驟：

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

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

第三步，根據系統結構和工作原理，詳細描述平臺軟件流程，建立平臺軟件詳細AADL模型，重點說明該模型中系統表決、模式轉換和系統重構模塊，驗證系統實時響應時間、安全等級和可調度性三方面特性；

第四步，實現可擴展安全計算機平臺試驗樣機，完成安全計算機平臺的所有基本功能，證明本設計的安全計算機平臺的可實現性。

上面所述的實施例僅僅是對本發明的優選實施方式進行描述，并非對本發明的構思和范圍進行限定。在不脫離本發明設計構思的前提下，本領域普通人員對本發明的技術方案做出的各種變型和改進，均應落入到本發明的保護范圍，本發明請求保護的技術內容，已經全部記載在權利要求書中。