基于SDL的CTCS-3車地通信協(xié)義的描述與實(shí)現(xiàn).pdf

1、我國CTCS-3級列車運(yùn)行控制系統(tǒng)是基于無線通信GSM-R的列車運(yùn)行控制系統(tǒng)。GSM-R系統(tǒng)為列車運(yùn)行提供安全、可靠的數(shù)據(jù)傳輸通道，實(shí)現(xiàn)了車地間雙向通信。為確保CTCS-3級列車運(yùn)行控制系統(tǒng)數(shù)據(jù)傳輸?shù)陌踩院涂煽啃裕糜诘钟鞣N安全隱患的車地通信協(xié)議的正確性及合理性顯得尤為重要。
　　論文首先闡述了CTCS-3級車地通信協(xié)議的系統(tǒng)結(jié)構(gòu)，根據(jù)數(shù)據(jù)傳輸安全相關(guān)需求，詳細(xì)分析了CTCS-3級車地通信協(xié)議的安全通信標(biāo)準(zhǔn)。然后，論文選用形式

2、化描述語言SDL和其支撐工具Telelogic TAU，對CTCS-3級車地通信協(xié)議狀態(tài)機(jī)進(jìn)行形式化描述，建立SDL系統(tǒng)模型，并對其進(jìn)行協(xié)同仿真和遍歷驗(yàn)證，生成消息序列流圖MSC和錯(cuò)誤報(bào)告，并通過驗(yàn)證說明了該SDL系統(tǒng)模型的準(zhǔn)確性。最后，論文在所建SDL系統(tǒng)模型的基礎(chǔ)上將其自動轉(zhuǎn)換為C代碼，并最終應(yīng)用與CTCS-3級車地通信協(xié)議軟件中，該軟件已經(jīng)服務(wù)于CTCS-3級列控系統(tǒng)測試評估認(rèn)證平臺。
　　論文將標(biāo)準(zhǔn)描述語言SDL引入CTC