CTCs-3級(jí)列控系統(tǒng)RBC控車場(chǎng)景安全分析.pdf

1、RBC(Radio Block Center，無(wú)線閉塞中心)作為CTCS-3級(jí)列控系統(tǒng)地面核心設(shè)備，圍繞RBC的運(yùn)營(yíng)場(chǎng)景是列控系統(tǒng)主要的工作方式，在確保系統(tǒng)安全運(yùn)營(yíng)的過(guò)程中扮演著重要角色。CTCS-3級(jí)列控系統(tǒng)是多學(xué)科領(lǐng)域的融合與提升，列車的運(yùn)行過(guò)程和相關(guān)設(shè)備間的離散信息交互相互影響，使RBC控車場(chǎng)景呈現(xiàn)顯著的混成特性。CTCS-3級(jí)列控系統(tǒng)規(guī)范作為系統(tǒng)生命周期需求階段的主要工作，是列控系統(tǒng)開(kāi)發(fā)的前提和必要條件，其詳細(xì)分析了為確保列車安

2、全運(yùn)行所必備的功能需求以及解決方案。對(duì)系統(tǒng)進(jìn)行需求階段的安全分析是系統(tǒng)安全設(shè)計(jì)和安全評(píng)估順利進(jìn)行的關(guān)鍵，對(duì)于保障系統(tǒng)的安全性具有重要意義。因此，以RBC控車場(chǎng)景——注冊(cè)與啟動(dòng)、行車許可、等級(jí)轉(zhuǎn)換、注銷，作為研究對(duì)象，以系統(tǒng)混成性作為出發(fā)點(diǎn)，選取系統(tǒng)生命周期的需求階段，以CTCS-3級(jí)列控系統(tǒng)規(guī)范作為研究依據(jù)，對(duì)RBC控車場(chǎng)景進(jìn)行安全分析。
　　采用UML(Unified Modeling Language，統(tǒng)一建模語(yǔ)言)與PHAV

3、er(Polyhedral HybridAutomaton Verifier，混成自動(dòng)機(jī)模型檢驗(yàn)工具)相結(jié)合的方法進(jìn)行需求階段的RBC控車場(chǎng)景的安全分析。首先，通過(guò)UML支持的擴(kuò)展機(jī)制，對(duì)UML進(jìn)行面向混成性的擴(kuò)展，建立RBC控車場(chǎng)景UML模型，實(shí)現(xiàn)對(duì)RBC控車場(chǎng)景相關(guān)設(shè)備的離散信息交互過(guò)程以及連續(xù)動(dòng)態(tài)演化過(guò)程，即混成性的描述。然后，依據(jù)CTCS-3級(jí)列控系統(tǒng)需求規(guī)范，分析RBC控車場(chǎng)景的基本功能需求，根據(jù)UML到PHAVer自勺轉(zhuǎn)換規(guī)