基于SCADE的定位系統(tǒng)設計及驗證.pdf

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

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

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