隨著我國高速鐵路技術(shù)的發(fā)展及對高速鐵路管理規(guī)章制度的出臺,我國對CTCS-3(China Train Control System level 3,中國列車運行控制系統(tǒng))級列控系統(tǒng)的需求規(guī)范也逐漸完善。RBC(Radio Block Center,無線閉塞中心)作為CTCS-3級列控系統(tǒng)地面核心子系統(tǒng)用來保障列控系統(tǒng)的安全運營。CTCS-3級列控系統(tǒng)是同時具備了連續(xù)和離散的信息交互機(jī)制的混成系統(tǒng),在RBC與其他設(shè)備進(jìn)行交互時如果出現(xiàn)任何與行車許可、線路信息等相關(guān)的問題都可能影響高速列車的正常運行,因此需要對RBC控車場景進(jìn)行安全分析來保證后續(xù)的系統(tǒng)安全設(shè)計和評估,而基于傳統(tǒng)的安全保障技術(shù)在列控系統(tǒng)的安全分析中已略顯其不足,通過形式化方法對列控系統(tǒng)進(jìn)行安全分析已經(jīng)成了研究的主要趨勢。本文以CTCS-3級列車運行控制系統(tǒng)中RBC控車場景為研究對象,提出基于UML(Unified Modeling Language,統(tǒng)一建模語言)擴(kuò)展機(jī)制的控車場景功能安全分析方法。首先,針對CTCS-3級列控系統(tǒng)的混成特性,采用面向?qū)ο蟮姆椒▽BC控車場景進(jìn)行分析,根據(jù)UML擴(kuò)展機(jī)制的安全特性建模方法,構(gòu)...

【文章頁數(shù)】：74 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖1.1論文的主體框架

基于UML擴(kuò)展機(jī)制的RBC控車場景功能安全分析方法-4-全特性，提出UML支持的底層擴(kuò)展機(jī)制，通過在擴(kuò)展包的基礎(chǔ)上增加安全特性包的概念來直接描述列控系統(tǒng)安全特性需求，在UML的安全特性包中對安全特性元素進(jìn)行定義并設(shè)計與RBC控車場景安全相關(guān)的概要文件。通過安全概要文件來刻畫系統(tǒng)在....

圖2.1UML的語義結(jié)構(gòu)框圖

蘭州交通大學(xué)碩士學(xué)位論文-5-2面向列控系統(tǒng)的模型的UML安全概要設(shè)計2.1統(tǒng)一建模語言UML概述統(tǒng)一建模語言UML是一種標(biāo)準(zhǔn)面向?qū)ο蠓治龊驮O(shè)計方法的系統(tǒng)建模語言，通過對復(fù)雜系統(tǒng)的設(shè)計和信息控制的描述，能夠有效的表達(dá)系統(tǒng)的需求、結(jié)構(gòu)以及行為，同時UML也支持對系統(tǒng)的規(guī)范說明和分析....

圖2.2UML的圖形結(jié)構(gòu)

基于UML擴(kuò)展機(jī)制的RBC控車場景功能安全分析方法-6-2.1.2UML的圖形表達(dá)UML提供靜態(tài)結(jié)構(gòu)圖和動態(tài)行為圖兩大類圖。如圖2.2所示，靜態(tài)結(jié)構(gòu)圖能夠刻畫系統(tǒng)模型中的數(shù)據(jù)結(jié)構(gòu)上的關(guān)系，由結(jié)構(gòu)視圖和用戶視圖兩部分組成，通過其中的類圖和對象圖等將數(shù)據(jù)屬性封裝到對象中，來對相同屬性....

圖2.3UML元素模型包的關(guān)系結(jié)構(gòu)

蘭州交通大學(xué)碩士學(xué)位論文-7-(2)標(biāo)記值(TaggedValue)標(biāo)記值是一個包含標(biāo)記字符串和值字符串的鍵值對，標(biāo)記字符串記錄新增元素的名稱，值字符串是給定元素的值，通過標(biāo)記和值字符串保存與系統(tǒng)模型相關(guān)的元素屬性信息。在標(biāo)記值中可以增加語義和附加信息實現(xiàn)對模型元素屬性的完整描述....

本文編號：3944448