版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、區(qū)域控制器(Zone Controller-ZC)是基于通信列車運(yùn)行控制系統(tǒng)(Communications Based Train Control system-CBTC)系統(tǒng)的地面控制核心設(shè)備,負(fù)責(zé)列車移動授權(quán)的計(jì)算和運(yùn)行安全保障。ZC是一個(gè)復(fù)雜龐大的安全關(guān)鍵系統(tǒng),其軟件開發(fā)在規(guī)范刻畫、設(shè)計(jì)、驗(yàn)證等諸多方面面臨挑戰(zhàn)。近年來,基于模型的軟件開發(fā)方法在安全關(guān)鍵領(lǐng)域逐漸被認(rèn)可,本文研究基于SCADE模型的ZC軟件開發(fā)方法,主要工作體現(xiàn)在如下
2、方面:
(1)以軌道交通控制系統(tǒng)為背景,研究了安全關(guān)鍵性系統(tǒng)的相關(guān)安全標(biāo)準(zhǔn),分析了模型驅(qū)動開發(fā)的優(yōu)勢,并介紹了SCADE模型開發(fā)工具。
(2)研究了SCADE理論基礎(chǔ)—同步編程理論。研究了LUSTRE語言的語法規(guī)則和UJSTRE語言對反應(yīng)式系統(tǒng)的進(jìn)行模型描述的抽象方法。分析了數(shù)據(jù)流圖和安全狀態(tài)機(jī)這兩種形式化建模機(jī)制的語義基礎(chǔ)、建模方法以及模型的特性。研究了同步編程理論對模型的兩種確認(rèn)方法模擬仿真和形式化驗(yàn)證。
3、
(3)采用SCADE模型工具,對ZC進(jìn)行建模。對ZC進(jìn)行了形式化描述,建立ZC的SCADE總體模型。通過分析區(qū)域控制器控制列車的典型場景,將ZC的主要功能劃分為列車管理功能、進(jìn)路匹配功能和MA計(jì)算功能,詳細(xì)的設(shè)計(jì)了各功能的軟件流程。采用安全自動機(jī)建模機(jī)制,建立了列車管理功能的模型;采用數(shù)據(jù)流建模機(jī)制,建立了進(jìn)路匹配功能和MA計(jì)算功能的模型。
(4)采用SCADE仿真與驗(yàn)證工具,對ZC模型進(jìn)行檢驗(yàn)。采用故障模
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于SCADE的CBTC區(qū)域控制器軟件測試方法研究.pdf
- 基于SCADE的CBTC區(qū)域控制器建模與驗(yàn)證.pdf
- 基于CSP的CBTC系統(tǒng)區(qū)域控制器的建模與驗(yàn)證.pdf
- 基于UML的CBTC系統(tǒng)區(qū)域控制器的建模與安全性驗(yàn)證.pdf
- CBTC系統(tǒng)中區(qū)域控制器和外部聯(lián)鎖功能接口的設(shè)計(jì).pdf
- 城市軌道交通CBTC系統(tǒng)區(qū)域控制器的研究與仿真.pdf
- 基于DSP的運(yùn)動控制器的軟件開發(fā).pdf
- 基于ARM平臺的照明區(qū)域控制器設(shè)計(jì).pdf
- 混合測試方法在CBTC區(qū)域控制器仿真測試系統(tǒng)中的研究與實(shí)現(xiàn).pdf
- 基于TCSP的區(qū)域控制器分層建模與驗(yàn)證.pdf
- 基于DSP-BIOS的運(yùn)動控制器軟件開發(fā).pdf
- 基于Web的ARM9控制器組態(tài)軟件開發(fā).pdf
- 基于ARM9的小型智能控制器的軟件開發(fā).pdf
- 汽車電子控制器硬件抽象與軟件開發(fā).pdf
- NetMagic控制器軟件開發(fā)模型設(shè)計(jì)與應(yīng)用.pdf
- 區(qū)域控制器移動授權(quán)的UML模型與驗(yàn)證.pdf
- 基于μC-OS-Ⅱ的開關(guān)磁阻電機(jī)控制器軟件開發(fā).pdf
- 基于有色petri網(wǎng)的區(qū)域控制器子系統(tǒng)切換功能建模
- 數(shù)控玻璃刻花機(jī)控制器軟件開發(fā).pdf
- 車身控制器的軟件系統(tǒng)設(shè)計(jì)及上位機(jī)診斷軟件開發(fā).pdf
評論
0/150
提交評論