基于監(jiān)測(cè)數(shù)據(jù)的計(jì)算機(jī)聯(lián)鎖系統(tǒng)安全性研究.pdf

1、計(jì)算機(jī)聯(lián)鎖系統(tǒng)是鐵路信號(hào)系統(tǒng)的重要組成部分，它以計(jì)算機(jī)技術(shù)為核心，融合多種技術(shù)為一體，實(shí)現(xiàn)車站聯(lián)鎖的邏輯控制功能，防護(hù)站內(nèi)列車運(yùn)行安全。
　　經(jīng)過長時(shí)間的努力發(fā)展，中國的計(jì)算機(jī)聯(lián)鎖系統(tǒng)已有多種類多型號(hào)，國內(nèi)許多廠商都可以自主研發(fā)及生產(chǎn)計(jì)算機(jī)聯(lián)鎖相關(guān)設(shè)備。隨之而來的問題是如何保證計(jì)算機(jī)聯(lián)鎖系統(tǒng)的安全可靠，許多學(xué)者專家針對(duì)鐵路聯(lián)鎖系統(tǒng)的測(cè)試和驗(yàn)證方法上進(jìn)行了大量的研究工作，通過建立安全模型和設(shè)計(jì)規(guī)范等對(duì)計(jì)算機(jī)聯(lián)鎖系統(tǒng)進(jìn)行測(cè)試和驗(yàn)證，能

2、解決一些功能上的漏洞和差錯(cuò)，然而現(xiàn)場操作環(huán)境是動(dòng)態(tài)且連續(xù)的，一些隨機(jī)的故障和環(huán)境因素帶來的機(jī)能失常往往無法在實(shí)驗(yàn)室中模擬。經(jīng)過一些學(xué)者專家的努力，對(duì)于聯(lián)鎖系統(tǒng)硬件已經(jīng)采取了很多安全措施和防護(hù)辦法，但是聯(lián)鎖軟件仍然是個(gè)黑盒子，聯(lián)鎖軟件的輸出結(jié)果是否滿足安全性仍需現(xiàn)場人工確認(rèn)。本文提出一種方法，并利用已有的監(jiān)測(cè)數(shù)據(jù)和硬件，在現(xiàn)場實(shí)時(shí)的分析計(jì)算機(jī)聯(lián)鎖的輸出結(jié)果是否符合安全要求。
　　本研究通過分析計(jì)算機(jī)聯(lián)鎖系統(tǒng)對(duì)進(jìn)路控制的過程，結(jié)合軌道

3、電路出現(xiàn)故障等情況，來判斷列車的安全防護(hù)位置和聯(lián)鎖系統(tǒng)輸出的結(jié)果是否滿足安全性，并在Windows平臺(tái)上利用Visual C++程序編寫工具實(shí)現(xiàn)了安全分析軟件。論文首先對(duì)計(jì)算機(jī)聯(lián)鎖系統(tǒng)的安全驗(yàn)證的研究現(xiàn)狀進(jìn)行了介紹，對(duì)計(jì)算機(jī)聯(lián)鎖系統(tǒng)和微機(jī)監(jiān)測(cè)系統(tǒng)的結(jié)構(gòu)和功能進(jìn)行了簡要闡述;其次，綜合考慮軌道區(qū)段正常及故障等情況，提出一種確定列車進(jìn)路中運(yùn)行的安全防護(hù)位置的方法，再結(jié)合進(jìn)路控制規(guī)則，判斷計(jì)算機(jī)聯(lián)鎖輸出結(jié)果是否滿足安全性;然后，根據(jù)上述方法，