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

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