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

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

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

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