基于EN50129的二乘二取二計算平臺中的安全性研究.pdf

1、隨著中國鐵路的飛速發(fā)展，客運專線和高速鐵路相繼開始建設，這使鐵路信號傳輸量大大增加，對計算機聯(lián)鎖系統(tǒng)的安全性、可靠性提出了更高的要求。為保證計算的安全性和可靠性，國內(nèi)鐵路信號設備廣泛采用二乘二取二計算機聯(lián)鎖系統(tǒng)，它可以減小單個CPU在運算過程中受外界環(huán)境干擾或操作系統(tǒng)、編譯器等部件故障導致運算錯誤所帶來的安全風險。同時，歐洲的EN5012X系列標準漸漸被國內(nèi)所接受，按照歐洲鐵路信號安全標準，并在歐洲安全標準指導下，開發(fā)符合其規(guī)定的安全等

2、級的計算機聯(lián)鎖產(chǎn)品，是提高自主研發(fā)的計算機聯(lián)鎖系統(tǒng)安全性和可靠性的一種有效途徑。 本文的重點研究內(nèi)容是二乘二取二計算平臺的可靠性與安全性分析方法和安全保證措施。一方面，在對二乘二取二安全計算平臺系統(tǒng)研究的基礎上，建立平臺結(jié)構(gòu)模型，證明其可靠性；另一方面，深入學習與研究了鐵路歐洲標準EN5012X，借鑒其思想規(guī)范和要求，將安全完整性理論引入到平臺的故障分析與安全設計中。在對系統(tǒng)運行過程中存在的潛在風險進行深入分析后，采用故障樹方法