基于防危技術的列控車載設備軟件安全研究.pdf

1、隨著中國鐵路事業(yè)的飛速發(fā)展，列車運行速度不斷提高，發(fā)車間隔不斷縮短，鐵路列車運行控制系統在保證列車安全、提高運行效率、滿足旅客運輸的準點率和舒適度等方面起著至關重要的作用。尤其是其中的列控車載設備，直接保障著列車的運行安全，其安全性和可靠性得到了人們越來越多的關注。 然而隨著計算機技術應用的不斷深入，軟件實現的功能不斷增加，軟件規(guī)模不斷擴大，使得軟件測試和驗證越來越困難，軟件錯誤以及缺陷已經成為導致系統失效的主要原因。本文研究的

2、防危技術就是在這樣的背景下產生的，它是在承認軟件存在錯誤和缺陷的前提下，通過驗證應用軟件命令，防止其對安全關鍵設備下達危險指令來保證系統安全。 首先本文分析了防危性和可靠性的區(qū)別與聯系，并研究了防危技術的理論和方法，分別研究了防危核和防危殼技術，通過比較認為防危核更適合于車載設備的應用，同時引入防危殼實時的理念，以增強防危核對于設備命令的時間約束。然后從防危核的安全性、透明性、隔離性、通用性以及防危核自身安全等方面進行了研究，分

3、別提出了防危核的多層反射機制、防危策略分離等概念。 接著本文以VxWorks操作系統為例，深入分析了VxWorks的系統結構及其對I/O的控制與管理，然后在應用軟件和系統軟件之間加入防危核，根據防危核在車載設備中的應用需求，對防危核的結構進行了詳細設計，將其分為防危代理、防危驗證、防危監(jiān)視、防危記錄四個主要模塊。 在防危核的防危驗證中，防危策略的生成是重點內容。本文以車載設備的車門防護、模式轉換、列車制動防護等幾個列車的