基于SCADE的CBTC系統(tǒng)移動授權(quán)建模與驗(yàn)證.pdf

1、社會經(jīng)濟(jì)的快速發(fā)展推動了我國城市軌道交通的建設(shè)進(jìn)程，基于通信的列車運(yùn)行控制系統(tǒng)(CBTC)以其高效、可靠、安全等優(yōu)點(diǎn)迅速在城市軌道交通建設(shè)中得到廣泛應(yīng)用。
　　在城市軌道交通中，CBTC系統(tǒng)通過為每一列通信列車提供移動授權(quán)(MA)來實(shí)現(xiàn)列車安全間隔運(yùn)行。移動授權(quán)的計算和分配是由CBTC軌旁設(shè)備區(qū)域控制器(ZC)完成的。鑒于ZC系統(tǒng)的高安全性要求，本文采用高安全應(yīng)用開發(fā)環(huán)境（SCADE）對區(qū)域控制器核心功能移動授權(quán)計算和生成進(jìn)行建模

2、與仿真驗(yàn)證，使系統(tǒng)的設(shè)計能夠滿足安全關(guān)鍵性系統(tǒng)的要求。
　　本文采用SCADE數(shù)據(jù)流圖方式對列車在運(yùn)行過程中的注冊、注銷以及列車數(shù)據(jù)的更新管理等功能建立模型，記錄和監(jiān)督ZC管轄范圍內(nèi)的列車信息變化。然后根據(jù)移動授權(quán)計算原理分析了列車單車運(yùn)行以及列車追蹤運(yùn)行等不同情況，采用數(shù)據(jù)流圖方式對移動授權(quán)計算功能模塊建立了SCADE模型。接下來分析列車在CBTC區(qū)域主要運(yùn)營場景，根據(jù)列車在不同場景下對MA需求的不同采用SCADE數(shù)據(jù)流圖和安全