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

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

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

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