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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

2 辛未;CTCS-3級(jí)測(cè)試案例完備性的自動(dòng)驗(yàn)證[D];北京交通大學(xué);2016年

3 李偉;CTCS-3級(jí)列控系統(tǒng)車(chē)載設(shè)備測(cè)試平臺(tái)關(guān)鍵問(wèn)題研究[D];北京交通大學(xué);2009年

，

本文編號(hào)：1348068