安全計算機仿真測試系統(tǒng)研究.pdf

1、雖然我國的軌道交通起步較晚，但是近年來，隨著我的經(jīng)濟和社會的發(fā)展，軌道交通技術(shù)在我國得到很大程度的發(fā)展與進步。目前，軌道交通正在朝著智能化與自動化的方向發(fā)展。安全計算機系統(tǒng)作為軌道交通技術(shù)的核心，其安全性直接關(guān)系著人們的生命財產(chǎn)安全。如何在安全計算機系統(tǒng)設(shè)計和研發(fā)的過程中，對其進行科學(xué)與有用的測試，在實驗室環(huán)境下盡可能全面地驗證安全計算機系統(tǒng)的安全性、可靠性與可用性是保證安全計算機系統(tǒng)安全的關(guān)鍵步驟之一。本文結(jié)合國內(nèi)外的研究，提出一種基

2、于模型的安全計算機仿真系統(tǒng)的設(shè)計，其特點主要體現(xiàn)在一下幾個方面:
　　 首先，我們對安全計算機系統(tǒng)的應(yīng)用環(huán)境與用于安全計算機系統(tǒng)的傳感器等設(shè)備進行研究。從整體出發(fā)，建立仿真系統(tǒng)的模型結(jié)構(gòu)，使仿真系統(tǒng)能夠盡可能真實地模擬安全計算機系統(tǒng)的應(yīng)用環(huán)境。
　　 然后，按照模塊化設(shè)計的思想，通過軟硬件結(jié)合的設(shè)計方式，將仿真系統(tǒng)細(xì)化為單模型結(jié)構(gòu)。對用于安全計算機系統(tǒng)的傳感器:速度傳感器、加速度傳感器、多普勒雷達(dá)等進行建模，建立傳感器的

3、軟件模型與硬件模型。
　　 最后，將單模型的輸入與輸出與真實的傳感器輸入與輸出進行對比，驗證單模型的準(zhǔn)確性;再將仿真系統(tǒng)用于安全計算機平臺的單板測試與系統(tǒng)測試，在驗證安全計算機系統(tǒng)的功能的同時，說明仿真系統(tǒng)的可用性與準(zhǔn)確性。
　　 這種軟硬件結(jié)合的設(shè)計方式，不僅能夠模擬傳感器的工作原理與行為，還能夠為安全計算機系統(tǒng)提供與真實的傳感器相同或者相似的物理輸入與輸出，驅(qū)動安全計算機系統(tǒng)的運行。在安全計算機研發(fā)和設(shè)計的過程中，這