基于UML與UPPAAL的高鐵列控臨時(shí)限速切換場(chǎng)景建模與驗(yàn)證

打開(kāi)文本圖片集

摘要：為提高高速鐵路列控臨時(shí)限速命令在臨時(shí)限速服務(wù)器（temporary speed restriction server，TSRS）與無(wú)線閉塞中心（radio block center， RBC）跨界重疊區(qū)域信息傳遞過(guò)程的時(shí)效性和安全性，建立TSRS切換與RBC切換跨界重疊區(qū)域限速流程的數(shù)學(xué)模型，根據(jù)中國(guó)列車運(yùn)行控制系統(tǒng)（Chinese train control system，CTCS）CTCS-2/CTCS-3高鐵列控系統(tǒng)間臨時(shí)限速命令交互的特點(diǎn)，采用統(tǒng)一建模語(yǔ)言（unified modeling language，UML）與時(shí)間自動(dòng)機(jī)模型理論相結(jié)合的方法，采用形式化驗(yàn)證工具UPPAAL尋找臨時(shí)限速命令在跨界重疊區(qū)域信息傳遞的不足和漏洞。（剩余11731字）