基于SCADE的城軌正線聯(lián)鎖系統(tǒng)研究.pdf

1、基于通信的列車控制系統(tǒng)(CBTC)己成為城市軌道交通信號(hào)系統(tǒng)的首選解決方案。作為其中關(guān)鍵部分，計(jì)算機(jī)聯(lián)鎖(CBI)系統(tǒng)負(fù)責(zé)保障行車安全的邏輯運(yùn)算，是典型的安全苛求系統(tǒng)。為適應(yīng)現(xiàn)代城軌高密度和高安全性的行車要求，聯(lián)鎖系統(tǒng)增加了新的功能要求，其邏輯運(yùn)算更為復(fù)雜。因此，如何保證城軌聯(lián)鎖系統(tǒng)開發(fā)的安全性和正確性顯得尤為重要。
　　本文利用高安全應(yīng)用開發(fā)環(huán)境(SCADE)圖形化建模的方式對(duì)城軌聯(lián)鎖系統(tǒng)進(jìn)行描述，以減少傳統(tǒng)文本方式描述的模糊性

2、，滿足開發(fā)高安全性系統(tǒng)的要求。針對(duì)CBTC系統(tǒng)有CBTC模式和后備模式兩種運(yùn)營(yíng)模式的特點(diǎn)，以具體聯(lián)鎖區(qū)的站場(chǎng)圖為例，在詳細(xì)分析了聯(lián)鎖數(shù)據(jù)的基礎(chǔ)上，根據(jù)信號(hào)設(shè)備的特點(diǎn)和聯(lián)鎖與其他系統(tǒng)的交互信息定義合適的數(shù)據(jù)結(jié)構(gòu)。將進(jìn)路控制劃分為進(jìn)路建立和進(jìn)路解鎖兩個(gè)模塊，其中進(jìn)路建立包括進(jìn)路請(qǐng)求，進(jìn)路檢查，進(jìn)路方向鎖閉、保護(hù)區(qū)段鎖閉，信號(hào)控制，進(jìn)路解鎖模塊分為正常解鎖，折返解鎖，保護(hù)區(qū)段解鎖、取消解鎖、故障解鎖。對(duì)以上各模塊采用數(shù)據(jù)流圖和狀態(tài)機(jī)結(jié)合的方式