隨著我國鐵路網(wǎng)絡(luò)和城市軌道交通快速發(fā)展,列車運(yùn)行控制系統(tǒng)的安全性實(shí)時(shí)性需求日益提高。列控安全計(jì)算機(jī)負(fù)責(zé)列控系統(tǒng)輸入輸出數(shù)據(jù)的校驗(yàn)及表決,通過大量的軟硬件故障安全設(shè)計(jì)有效保證了列控系統(tǒng)的安全性,但也一定程度上降低了實(shí)時(shí)性。本文引入EN50129中的反應(yīng)式故障安全技術(shù),對列控安全計(jì)算機(jī)的整體架構(gòu)及各模塊設(shè)計(jì)進(jìn)行優(yōu)化調(diào)整。首先,本文利用可靠性原理分析了目前列控安全計(jì)算機(jī)的常用架構(gòu),列舉了多種軟硬件檢錯(cuò)容錯(cuò)技術(shù),并對比了三種適用于鐵路安全苛求系統(tǒng)的故障安全方法的技術(shù)特點(diǎn)。在此基礎(chǔ)上,本文討論了反應(yīng)式故障安全在列控安全計(jì)算機(jī)軟硬件中的適用性并闡述了其在二乘二取二安全計(jì)算機(jī)平臺上的應(yīng)用形式。其次,本文根據(jù)反應(yīng)式故障安全的技術(shù)特點(diǎn),結(jié)合安全苛求系統(tǒng)相關(guān)標(biāo)準(zhǔn)中的技術(shù)要求,針對本實(shí)驗(yàn)室既有列控安全計(jì)算機(jī)中存在的不足,提出了對列控安全計(jì)算機(jī)軟硬件的優(yōu)化設(shè)計(jì)。整體架構(gòu)上,針對既有安全計(jì)算機(jī)內(nèi)部模塊間數(shù)據(jù)轉(zhuǎn)發(fā)過于頻繁的問題,重新調(diào)整了容錯(cuò)安全管理單元,通信控制單元與安全輸入輸出單元的連接。校驗(yàn)機(jī)制上,結(jié)合反應(yīng)式故障安全和組合式故障安全,簡化了軟件中校驗(yàn)表決的流程,提高了數(shù)據(jù)校驗(yàn)的效率。通信架構(gòu)上,綜合使用低電... 

【文章來源】：北京交通大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：108 頁

【學(xué)位級別】：碩士

【部分圖文】：

安全計(jì)算機(jī)3取2架構(gòu)

既有安全計(jì)算機(jī)2乘2取2架構(gòu)

可靠性分析而(6)模型

【參考文獻(xiàn)】：
期刊論文
[1]一種基于動(dòng)態(tài)編碼的接點(diǎn)采集電路設(shè)計(jì)與安全性分析[J]. 李鹍,潘長清,許波,何宇暉.  鐵道技術(shù)監(jiān)督. 2018(06)
[2]鐵路信號安全關(guān)鍵軟件形式化建模[J]. 李耀,郭進(jìn),楊揚(yáng),馬亮.  鐵道學(xué)報(bào). 2017(09)
[3]基于互聯(lián)互通的區(qū)域控制器安全通信計(jì)算機(jī)設(shè)計(jì)[J]. 魏東冬,盧佩玲,鄭長宗,姜慶陽.  都市快軌交通. 2017(04)
[4]安全計(jì)算機(jī)通信管理機(jī)制的形式化驗(yàn)證與實(shí)現(xiàn)[J]. 梁靚,曹源,馬連川,張玉琢,李恒奎.  通信學(xué)報(bào). 2016(11)
[5]通用型列控系統(tǒng)的安全計(jì)算機(jī)設(shè)計(jì)與驗(yàn)證[J]. 鄭升,曹源,張玉琢,景浩,胡華.  北京交通大學(xué)學(xué)報(bào). 2014(03)
[6]安全論證方法及其在鐵路信號開發(fā)安全保障中的應(yīng)用[J]. 牛儒,唐濤.  鐵道學(xué)報(bào). 2014(04)
[7]改進(jìn)型鐵路信號安全計(jì)算機(jī)平臺結(jié)構(gòu)[J]. 鄭升,馬連川,胡華,曹源.  中國鐵路. 2014(03)
[8]鐵道信號系統(tǒng)安全計(jì)算機(jī)狀態(tài)監(jiān)測方法[J]. 曹源,馬連川,李旺.  交通運(yùn)輸工程學(xué)報(bào). 2013(03)
[9]三取二表決模型的可靠性與安全性分析[J]. 楊毅,黃海,陳祥獻(xiàn).  計(jì)算機(jī)工程. 2012(14)
[10]基于三取二冗余結(jié)構(gòu)的安全計(jì)算機(jī)系統(tǒng)[J]. 黃濤,陳祥獻(xiàn),黃海.  計(jì)算機(jī)工程. 2011(18)

博士論文
[1]單軌列車運(yùn)行控制系統(tǒng)安全關(guān)鍵技術(shù)研究[D]. 何偉挺.浙江大學(xué) 2017

碩士論文
[1]基于UML-NuSMV模型的列控系統(tǒng)需求階段的安全分析[D]. 周玉平.北京交通大學(xué) 2015
[2]基于CompactPCI總線隔離數(shù)字I/O的設(shè)計(jì)[D]. 鄒志平.電子科技大學(xué) 2013
[3]基于EN50129的二乘二取二計(jì)算平臺中的安全性研究[D]. 祝新玲.北京交通大學(xué) 2009



本文編號：3558936