基于SCADE的定位系統(tǒng)設(shè)計(jì)及驗(yàn)證.pdf

1、近年來，伴隨我國城市化建設(shè)步伐的加快，城市人口增長速度越來越快，隨之而來的私家車也越來越多，交通的擁擠程度也越來越嚴(yán)重。實(shí)踐證明，對于城市交通擁堵現(xiàn)象的緩解和治理方面，一個(gè)重要的途徑就是大力建設(shè)城市軌道交通網(wǎng)絡(luò)，并不斷完善新型軌道交通控制技術(shù)，以滿足更快更密集運(yùn)營的城市軌道交通發(fā)展的需要。
　　列車定位系統(tǒng)是是車載ATP的關(guān)鍵設(shè)備之一，是城市軌道交通列車自動運(yùn)行控制系統(tǒng)的重要組成部分，其安全性和精度是評判定位技術(shù)的關(guān)鍵參數(shù)，直接影

2、響著列車的運(yùn)行安全和效率。本文根據(jù)城市軌道交通的特點(diǎn)，采用脈沖速度傳感器和加速度傳感器設(shè)計(jì)列車測速定位算法。通過速度傳感器和加速度傳感器分別獨(dú)立計(jì)算列車的當(dāng)前運(yùn)行速度，分析兩種傳感器之間的速度關(guān)系判斷列車的當(dāng)前行駛狀態(tài)，進(jìn)而計(jì)算的列車走行距離，同時(shí)算法輔以查詢應(yīng)答器對列車定位信息進(jìn)行校正。速度傳感器和加速度傳感器測量誤差、空轉(zhuǎn)打滑狀態(tài)產(chǎn)生的誤差、車輪的磨損等是列車定位誤差的主要來源。算法從故障-安全的角度設(shè)計(jì)了列車輪徑校正模塊，重點(diǎn)分析

3、了空轉(zhuǎn)打滑的檢測及誤差補(bǔ)償。
　　高安全應(yīng)用開發(fā)環(huán)境SCADE十分適合于高安全性要求的嵌入式軟件開發(fā)。SCADE支持?jǐn)?shù)據(jù)流圖和安全狀態(tài)機(jī)兩種建模機(jī)制，以基于模型的方式為連續(xù)系統(tǒng)及離散系統(tǒng)提供圖形化建模、仿真及形式化驗(yàn)證，能夠極大的提高軟件開發(fā)的質(zhì)量和效率。列車測速定位系統(tǒng)是一個(gè)典型的安全苛求系統(tǒng)。本文采用SCADE對測速定位系統(tǒng)進(jìn)行建模，采用屏蔽式覆蓋率準(zhǔn)則對建立的模型進(jìn)行覆蓋率分析，完善了模型的仿真測試。最后根據(jù)列車測速定位系統(tǒng)