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

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

2、作如下:
　　基于當今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)方法。通過安全分析方法與測試方法

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