隨著無線通訊技術可靠性及可用性的提高，基於通訊的列車控制方式已成為國際上高速列車控制系統的主要發展方向。我國的 ｃｔｃｓ－３級列車執行控制系統正是一種基於通訊的列車執行控制系統，通過無線通訊實現車地間連續、雙向的資訊傳輸，利用無線閉塞中心 ｒｂｃ 產生的行車許可以及其他與列車執行控制有關的資訊來保障列車的安全高速執行［１］。利用有效手段對 ｃｔｃｓ－３級列控系統進行功能安全分析，發現系統設計的薄弱環節，採取恰當的改進措施提高系統的功能安全性，對於保障列車的安全高效執行具有重要意義。
ｃｔｃｓ－３級列控系統具有混成性，無法對其進行反例生成，只能利用形式化工具（如 ｐｈａｖｅｒ）進行狀態可達集計算。另外，形式化方法包含複雜的數學概念和公式，不易被廣泛應用於工業領域。而統一建模語言 ｕｍｌ（ｕｎｉｆｉｅｄ ｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ）作為一種標準的圖形建模語言，易於使用，表達能力強，可進行視覺化建模，已經被工業界廣泛接受並逐漸成為行業的建模標準。將 ｕｍｌ 模型作為形式化分析的起點和基礎，能夠降低因直接構建繁瑣的形式化模型而帶來的複雜度，有利於形式化方法在工業界的推廣。
因此，本文採用
ｕｍｌ與可達集計算相結合的方法，對
ｃｔｃｓ－３級列控系統進行功能安全分析。著重介紹面向列控系統混成性的
ｕｍｌ擴充套件、系統
ｕｍｌ模型到ｐｈａｖｅｒ模型的轉化過程以及利用
ｐｈａｖｅｒ模型生成割集的方法，並
以ｃｔｃｓ－３
級列控系統的ｒｂｃ
交接場景為例，使用該方法對系統進行功能安全分析。
[1]劉金濤,唐濤,趙林,李憲. 基於uml模型的ctcs-3級列控系統功能安全分析方法[j]. 鐵道學報,2013,35(10):59-66.
畢業設計 文獻參考（十六）
如果把教學改革看作乙個系統工程，那麼教材管理就是這個系統工程的子工程，這個子工程一旦出現問題，那麼整個教學工作必將無法正常進行。教材徵訂與發放工作是教材管理的重要工作，如果教材徵訂與發放出現問題，同樣會使整個教學工作處於混亂與被動局面。為應對辦學形式多樣化和學生規模不斷擴大給教學管理帶來的壓力和度，...
畢業設計 文獻參考（十二）
電信業在近幾年得到了蓬勃的發展，業務更加複雜，關係更加緊密，資料更加多樣化。原先舊的綜合服務保障系統逐漸顯露出自身架構的缺陷 所有功能集中在乙個專案中，邏輯複雜 模組耦合 臃腫，修改難度大，系統錯誤隔離性差 可用性差，任何乙個模組的錯誤均可能造成整個系統的宕機。eureka ribbon hystr...
畢業設計 文獻參考（12）
隨著資訊科技的飛速發展，軟體規模和複雜性不斷增大，對軟體開發速度和質量的要求不斷提高。從而迫切需要一套簡單易行的方法來指導規模龐大 結構複雜的軟體開發過程。模型可以簡明 準確的表示複雜 抽象的系統，並且可以幫助設計者從全域性上把握系統的全貌及其相關部件之間的聯絡，防止設計者過早地陷入各個模組的細節之...