基于模型的安全相關(guān)系統(tǒng)仿真方法的研究與應用.pdf

1、隨著計算機技術(shù)的快速發(fā)展，計算機被越來越多地用于安全相關(guān)系統(tǒng)的開發(fā)中，而安全相關(guān)系統(tǒng)通常被應用在鐵路、航空航天、軍事、工業(yè)控制等對安全性要求嚴格，與人民的生命財產(chǎn)安全息息相關(guān)的領域中，其特殊的應用領域和安全特性要求我們必須對安全相關(guān)系統(tǒng)進行有效、深入的研究，使它們能夠有效地為經(jīng)濟社會的發(fā)展服務。基于通信的列車運行控制系統(tǒng)(CBTC)就是一種典型的安全相關(guān)系統(tǒng)，本文以CBTC系統(tǒng)為例來探求安全相關(guān)系統(tǒng)的研究方法。
　　 CBTC系

2、統(tǒng)的結(jié)構(gòu)和功能非常復雜，當前國內(nèi)還沒有自主研發(fā)的產(chǎn)品。隨著城市規(guī)模的擴大和城市人口的激增，發(fā)展城市軌道交通，開發(fā)適合中國國情和路情的CBTC系統(tǒng)已經(jīng)迫在眉睫，成為解決日益嚴重的城市交通問題的唯一途徑。本文將基于模型的仿真方法應用到CBTC系統(tǒng)的自主研發(fā)中，基于CBTC系統(tǒng)的模型利用仿真方法建立一個仿真測試平臺，對自主研發(fā)的CBTC系統(tǒng)進行集成和測試驗證，并給出了完整的研究方法。
　　 論文的主要工作如下：
　　 1.介紹

3、課題的研究背景，闡述進行CBTC系統(tǒng)自主研發(fā)的必要性，闡述利用基于模型的仿真方法來建立CBTC仿真測試平臺的目的和意義。
　　 2.詳細介紹了開發(fā)CBTC仿真測試平臺所涉及到的技術(shù)。
　　 3.通過對CBTC系統(tǒng)進行抽象和分析，建立仿真模型，并進行模塊劃分。然后，對各模塊的功能進行簡要的介紹。
　　 4.通過建模和仿真技術(shù)相結(jié)合的方法實現(xiàn)CBTC仿真測試平臺各模塊的功能，從而構(gòu)建CBTC仿真測試平臺。