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

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

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

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