基于接口模型的失效傳播分析及其在列控系統(tǒng)中的應用.pdf

1、中國列車運行控制系統(tǒng)是高鐵的核心技術之一。作為典型的安全苛求系統(tǒng)，列控系統(tǒng)的失效有可能導致人員傷亡、重大財產損失和環(huán)境破壞等?，F今，基于模型的安全分析方法在復雜的計算機控制系統(tǒng)中得到廣泛應用。與傳統(tǒng)方法相比，基于模型的安全分析以語義精確的模型作為系統(tǒng)描述的主要手段和分析對象，靈活性和重用性高。本文選取接口模型對系統(tǒng)中的組件及組件之間的交互進行刻畫。通常，接口模型比相對應的組件要簡潔，能夠大幅度減少兩個及多個接口自動機組合后的狀態(tài)數量，因

2、此可以有效提高系統(tǒng)的安全分析質量和效率。
　　本文的主要工作是提出了一種基于系統(tǒng)接口模型的失效傳播分析方法，具體包括:
　　1、融合了接口模型和失效傳播模型。定義了基礎故障和傳播故障，在系統(tǒng)正常接口模型的基礎上引入新的狀態(tài)、動作及遷移，來描述有故障存在時系統(tǒng)的行為。
　　2、提出了狀態(tài)空間重建策略。將狀態(tài)空間劃分為安全區(qū)域、觸發(fā)區(qū)域和危險核心，通過雙向可達性分析，移除與目標事件（包括基本故障和危險事件）發(fā)生無關的遷移，

3、將狀態(tài)進行歸并。從而有效減少狀態(tài)的數目，實現狀態(tài)空間的重構。
　　3、在廣度優(yōu)先搜索算法的基礎上，設計了啟發(fā)式的路徑搜索算法。通過定義一個有界的正整數k，修剪掉搜索樹上的一些分支。提高了割集搜索算法的效率，并在Eclipse平臺實現了最小割集生成。
　　4、將接口模型與列控領域具體失效場景進行深度結合，實現CTCS-3級列控系統(tǒng)實際場景的建模與分析。通過分析RBC切換場景的流程，確定了各個子系統(tǒng)模型的狀態(tài)、遷移和輸入輸出動作