鐵路信號(hào)系統(tǒng)安全關(guān)鍵軟件故障注入技術(shù)研究.pdf

1、鐵路信號(hào)系統(tǒng)安全關(guān)鍵軟件采用故障-安全設(shè)計(jì)安全功能來(lái)保障列車(chē)安全、高效運(yùn)行，由于故障是多種事件的組合并且具有潛伏期，傳統(tǒng)測(cè)試方法難以重現(xiàn)所有安全設(shè)計(jì)防護(hù)的故障來(lái)驗(yàn)證系統(tǒng)安全性。故障注入測(cè)試通過(guò)對(duì)被測(cè)系統(tǒng)的注入故障加速系統(tǒng)失效，能有效實(shí)現(xiàn)系統(tǒng)安全性測(cè)試。軟件故障注入低成本、安全、多模式注入的特點(diǎn)成為研究熱點(diǎn)，但是由于故障和被測(cè)系統(tǒng)的復(fù)雜性等問(wèn)題制約，軟件故障注入一直缺少通用的測(cè)試工具。
　　 本文重點(diǎn)研究了軟件故障注入安全性測(cè)試方

2、法，將其應(yīng)用于列車(chē)車(chē)載安全計(jì)算機(jī)安全關(guān)鍵軟件系統(tǒng)中，對(duì)系統(tǒng)進(jìn)行了詳細(xì)研究并設(shè)計(jì)了故障注入系統(tǒng)。以此故障注入系統(tǒng)為基礎(chǔ)，本文提出一種結(jié)合LabVIEW圖形化編程和Visual C++動(dòng)態(tài)調(diào)試功能的快速開(kāi)發(fā)方法，設(shè)計(jì)并實(shí)現(xiàn)了三模冗余車(chē)載安全計(jì)算機(jī)安全關(guān)鍵軟件故障注入仿真測(cè)試平臺(tái)，能夠通過(guò)一臺(tái)仿真計(jì)算機(jī)支持三個(gè)安全計(jì)算機(jī)主機(jī)軟件平行、同步運(yùn)行和信息交換通信，實(shí)現(xiàn)對(duì)系統(tǒng)的靜態(tài)故障注入、動(dòng)態(tài)故障注入測(cè)試，可以導(dǎo)入XML腳本完成自動(dòng)測(cè)試，以及動(dòng)態(tài)調(diào)