基于EN50129的二乘二取二計(jì)算平臺(tái)中的安全性研究.pdf

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

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