基于STAMP的CTCS-3級(jí)列控系統(tǒng)測(cè)試方法研究.pdf

1、中國(guó)列車(chē)運(yùn)行控制系統(tǒng)3級(jí)（Chinese Train Control System Level3，CTCS-3）是中國(guó)300km/h及以上的高速鐵路的核心技術(shù)和關(guān)鍵裝備，隨著多年的發(fā)展，其已有較為成熟的技術(shù)標(biāo)準(zhǔn)，并存在著交互復(fù)雜性高、系統(tǒng)難以解耦及安全性能向計(jì)算機(jī)轉(zhuǎn)移等特點(diǎn)?；谝陨咸攸c(diǎn)，如仍使用服務(wù)于易于解耦的簡(jiǎn)單系統(tǒng)的事件鏈等安全分析方法，難以識(shí)別涌現(xiàn)性危險(xiǎn)的存在。如何從系統(tǒng)層面進(jìn)行安全的驗(yàn)證成為了挑戰(zhàn)之一。
　　本文的主要工

2、作如下:
　　基于當(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è)試方法

3、的結(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ú)須專(zhuān)門(mén)針對(duì)某個(gè)設(shè)備或是某個(gè)功能再去設(shè)計(jì)測(cè)試用例，使