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

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

2、作如下:
　　基于當(dāng)今CTCS-3級(jí)列控系統(tǒng)存在的復(fù)雜性高、安全問題以涌現(xiàn)性問題為主的特點(diǎn)，將基于系統(tǒng)理論事故模型與過程(Systems-Theoretic Accident Modeling and Processes，STAMP)模型的安全分析方法針對(duì)測試而進(jìn)行改進(jìn)優(yōu)化，給出STPA-TCG(System-Theory Process Analysis-Test Case Genaration)方法。通過安全分析方法與測試方法

3、的結(jié)合，解決傳統(tǒng)安全測試本質(zhì)上仍然為功能導(dǎo)向而不是安全導(dǎo)向的問題，提升安全測試在安全方面的指向性。
　　針對(duì)安全測試用例生成過程中難以對(duì)安全無關(guān)測試用例進(jìn)行區(qū)分，并存在經(jīng)驗(yàn)還原的問題，通過STPA-TCG方法，首先辨識(shí)系統(tǒng)相關(guān)的事故和危險(xiǎn)源，應(yīng)用控制過程和安全約束辨識(shí)系統(tǒng)的不安全控制行為，進(jìn)而分析產(chǎn)生不安全控制行為的致因場景，系統(tǒng)測試所需要的用例直接通過危險(xiǎn)源的致因場景轉(zhuǎn)化而來，無須專門針對(duì)某個(gè)設(shè)備或是某個(gè)功能再去設(shè)計(jì)測試用例，使