CTCS-1級(jí)列控系統(tǒng)是為提升200km/h以下新建及改造線路安全性、可靠性、運(yùn)輸效率和自動(dòng)化水平而對(duì)既有線列控系統(tǒng)進(jìn)行的一次技術(shù)升級(jí)。列控系統(tǒng)作為典型的安全苛求系統(tǒng),其安全性對(duì)整個(gè)鐵路運(yùn)輸系統(tǒng)舉足輕重,因此,對(duì)列控系統(tǒng)進(jìn)行安全分析來(lái)識(shí)別特定應(yīng)用場(chǎng)景存在的安全隱患,有著非常重要的意義。與傳統(tǒng)的風(fēng)險(xiǎn)識(shí)別方法相比,STPA能夠更系統(tǒng)地識(shí)別風(fēng)險(xiǎn)。但是STPA分析過(guò)程過(guò)度依靠人工,對(duì)技術(shù)人員的專家經(jīng)驗(yàn)依賴程度高。另外由于復(fù)雜系統(tǒng)功能和行為的多樣性,僅僅依靠人工分析難以保證結(jié)果的全面性和準(zhǔn)確性。因此,本文基于CPN動(dòng)態(tài)模型提出形式化的STPA-CPN方法來(lái)辨識(shí)系統(tǒng)危險(xiǎn)致因。本文的主要研究工作如下:（1）首先,以側(cè)線接車和臨時(shí)限速場(chǎng)景為例,完成了 STPA的安全分析流程。在使用分層控制框圖、SysML順序圖、OCL語(yǔ)言建立系統(tǒng)模型的基礎(chǔ)上,參照STPA提供的四類引導(dǎo)詞實(shí)現(xiàn)不恰當(dāng)控制行為辨識(shí),并完成控制缺陷分析,為驗(yàn)證本文所提方法有效性做鋪墊。（2）然后,通過(guò)比較SysML和CPN兩種建模方法的優(yōu)缺點(diǎn)論證了 SysML活動(dòng)圖到有色Petri網(wǎng)模型轉(zhuǎn)換的必要性和可操作性。建立側(cè)線接車和臨時(shí)限速兩個(gè)場(chǎng)景... 

【文章來(lái)源】：北京交通大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：108 頁(yè)

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

【部分圖文】：

圖１－２論文框架結(jié)構(gòu)??Ｆｉｇ?１?－２?Ｔｈｅ?ｓｔｒｕｃｔｕｒｅ?ｏｆ?ｔｈｉｓ?ｔｈｅｓｉ?

圖２－１控制環(huán)結(jié)構(gòu)及其過(guò)程模型??Ｆｉｇ?２－１?Ｔｈｅ?ｓｔｒｕｃｔｕｒｅ?ａｎｄ?ｐｒｏｃｅｓｓ?ｍｏｄｅｌ?ｏｆ?ｃｏｎｔｒｏｌ?ｌｏｏｐ??

一導(dǎo)致危險(xiǎn)的系統(tǒng)控制缺陷分類

【參考文獻(xiàn)】：
期刊論文
[1]Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation[J]. HU Jianbo,ZHENG Lei,XU Shukui.  Journal of Systems Engineering and Electronics. 2018(06)
[2]系統(tǒng)理論過(guò)程分析在城市軌道交通列車運(yùn)行控制系統(tǒng)設(shè)計(jì)中的應(yīng)用[J]. 閆宏偉,燕飛,張仕杰,牛儒,唐濤.  城市軌道交通研究. 2017(11)
[3]CTCS-1級(jí)列控系統(tǒng)總體技術(shù)方案探討[J]. 莫志松.  中國(guó)鐵路. 2016(08)
[4]面向INS數(shù)據(jù)分類的魯棒性無(wú)監(jiān)督聚類方法[J]. 劉莉,楊傲雷,屠曉偉,費(fèi)敏銳,彭飛.  儀器儀表學(xué)報(bào). 2016(01)
[5]基于Spin的SysML時(shí)序圖與活動(dòng)圖一致性檢測(cè)[J]. 胡良文,馬金晶,孫博.  計(jì)算機(jī)技術(shù)與發(fā)展. 2015(09)
[6]基于控制關(guān)系模型的CTCS-3級(jí)列控系統(tǒng)功能安全分析方法[J]. 劉金濤,唐濤,趙林,劉磊.  鐵道學(xué)報(bào). 2015(08)
[7]基于Petri網(wǎng)列車群模型的列車運(yùn)行沖突分析[J]. 王鵬玲,馬磊,王青元,馮曉云.  鐵道學(xué)報(bào). 2015(03)
[8]基于Petri網(wǎng)的SysML活動(dòng)圖的分析與驗(yàn)證[J]. 王松鋒,熊選東,付建丹,張亮忠.  計(jì)算機(jī)科學(xué). 2012(09)
[9]復(fù)雜配電網(wǎng)的供電可靠性定量評(píng)估[J]. 邱生,張焰,徐洋,王之佩,駱敏.  上海交通大學(xué)學(xué)報(bào). 2005(12)
[10]聯(lián)鎖軟件的Petri網(wǎng)形式化定義[J]. 楊揚(yáng),潘明,何梅芳.  中國(guó)鐵道科學(xué). 2002(03)

博士論文
[1]基于STPA的需求階段的高速列車運(yùn)行控制系統(tǒng)安全分析方法研究[D]. 劉金濤.北京交通大學(xué) 2015

碩士論文
[1]基于SysML和時(shí)間自動(dòng)機(jī)的CTCS-1級(jí)列控系統(tǒng)RDC建模與驗(yàn)證[D]. 王曉丹.北京交通大學(xué) 2018
[2]基于STPA的CTCS-1級(jí)列控系統(tǒng)區(qū)域列控?cái)?shù)據(jù)中心安全分析方法的研究[D]. 劉莎晨.北京交通大學(xué) 2018
[3]基于TCPN的CTCS-1級(jí)列控系統(tǒng)RDC形式化建模與分析[D]. 徐越.北京交通大學(xué) 2018
[4]基于NuSMV和STPA的RBC交接場(chǎng)景安全分析方法研究[D]. 夏宇.北京交通大學(xué) 2018
[5]西部鐵路列控系統(tǒng)RBC核心功能設(shè)計(jì)與驗(yàn)證[D]. 黃靜.北京交通大學(xué) 2017
[6]CTCS-1級(jí)列控系統(tǒng)車載設(shè)備安全性分析[D]. 王昊.北京交通大學(xué) 2017
[7]安全關(guān)鍵嵌入式系統(tǒng)的SysML活動(dòng)圖概率驗(yàn)證方法研究[D]. 朱羿全.南京航空航天大學(xué) 2015
[8]基于概率模型檢測(cè)的SysML活動(dòng)圖驗(yàn)證方法研究[D]. 惠文濤.解放軍信息工程大學(xué) 2015
[9]基于Petri網(wǎng)的“系統(tǒng)的系統(tǒng)”的建模與仿真的研究[D]. 常旭嶺.上海交通大學(xué) 2015
[10]基于HTCPN的區(qū)域控制器列車追蹤的建模研究[D]. 李慶歡.西南交通大學(xué) 2014



本文編號(hào)：3104993