本文關(guān)鍵詞：基于STAMP的CTCS-3級列控系統(tǒng)測試方法研究　出處：《北京交通大學》2017年碩士論文　論文類型：學位論文

  更多相關(guān)文章： CTCS-3級列控系統(tǒng) 測試用例 系統(tǒng)理論過程分析(STPA) 安全測試 安全分析方法

【摘要】：中國列車運行控制系統(tǒng) 3 級(Chinese Train Control System Level 3,CTCS-3)是我國300km/h及以上的高速鐵路的核心技術(shù)和關(guān)鍵裝備,隨著多年的發(fā)展,其已有較為成熟的技術(shù)標準,并存在著交互復雜性高、系統(tǒng)難以解耦及安全性能向計算機轉(zhuǎn)移等特點�；谝陨咸攸c,如仍使用服務于易于解耦的簡單系統(tǒng)的事件鏈等安全分析方法,難以識別涌現(xiàn)性危險的存在。如何從系統(tǒng)層面進行安全的驗證成為了挑戰(zhàn)之一。本文的主要工作如下:基于當今CTCS-3級列控系統(tǒng)存在的復雜性高、安全問題以涌現(xiàn)性問題為主的特點,將基于系統(tǒng)理論事故模型與過程(Systems-Theoretic Accident Modeling and Processes,STAMP)模型的安全分析方法針對測試而進行改進優(yōu)化,給出STPA-TCG(System-Theory Process Analysis-Test Case Genaration)方法。通過安全分析方法與測試方法的結(jié)合,解決傳統(tǒng)安全測試本質(zhì)上仍然為功能導向而不是安全導向的問題,提升安全測試在安全方面的指向性。針對安全測試用例生成過程中難以對安全無關(guān)測試用例進行區(qū)分,并存在經(jīng)驗還原的問題,通過STPA-TCG方法,首先辨識系統(tǒng)相關(guān)的事故和危險源,應用控制過程和安全約束辨識系統(tǒng)的不安全控制行為,進而分析產(chǎn)生不安全控制行為的致因場景,系統(tǒng)測試所需要的用例直接通過危險源的致因場景轉(zhuǎn)化而來,無須專門針對某個設備或是某個功能再去設計測試用例,使得測試用例的質(zhì)量更高并可以追溯到系統(tǒng)級危險或事故,降低了安全無關(guān)的測試用例的數(shù)量,提升了安全性測試的效率。論文以CTCS-3級列控系統(tǒng)的典型模式為例,使用STPA-TCG方法進行測試用例的生成。通過實例驗證了該方法的可行性,并給出了實際應用中的具體細節(jié)要求。將本文所得安全用例與傳統(tǒng)測試用例進行對比,證明STPA-TCG方法可以使得安全測試用例有著更高的安全指向性,對于測試案例庫是一個重要的補充。
[Abstract]:......
【學位授予單位】：北京交通大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：U284.48;TP273

【參考文獻】

相關(guān)期刊論文 前6條

1 劉金濤;唐濤;趙林;劉磊;;基于STPA的CTCS-3級列控系統(tǒng)功能安全分析方法[J];中國鐵道科學;2014年05期

2 李娟;汪厚祥;林海濤;;基于STAMP的艦載作戰(zhàn)系統(tǒng)軟件安全研究[J];艦船科學技術(shù);2010年09期

3 熊靜;喻鋼;徐中偉;酈萌;;面向安全評估的CTCS-2列控系統(tǒng)安全性測試環(huán)境[J];計算機應用;2010年08期

4 黃衛(wèi)中;賈琨;劉人鵬;;我國鐵路CTCS-3級列控系統(tǒng)的分析與研究[J];鐵道通信信號;2010年04期

5 季學勝;李開成;張勇;劉大為;;CTCS-3級列控系統(tǒng)測試案例生成方法的研究[J];鐵道通信信號;2009年10期

6 章慧;張勇;;CTCS3級列控系統(tǒng)車載設備測試方法研究[J];鐵路計算機應用;2008年04期

相關(guān)碩士學位論文 前3條

1 閆宏偉;基于STAMP的軌道交通全自動運行系統(tǒng)安全分析研究[D];北京交通大學;2016年

2 辛未;CTCS-3級測試案例完備性的自動驗證[D];北京交通大學;2016年

3 李偉;CTCS-3級列控系統(tǒng)車載設備測試平臺關(guān)鍵問題研究[D];北京交通大學;2009年

，

本文編號：1348068