版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
1、中國高速鐵路列車運行控制CTCS-3列控系統(tǒng)在朝著高速、高密度列車運營的目標不斷前進的同時也面臨著系統(tǒng)安全方面的巨大挑戰(zhàn)。而應用于CTCS-3列控系統(tǒng)這類社會技術系統(tǒng)的傳統(tǒng)的危險分析方法已經(jīng)不足以解決復雜的社會組織結構帶來的安全問題。因此，為了分析復雜系統(tǒng)中潛在的可能導致系統(tǒng)發(fā)生危險的因素，本文提出了名為BFM-STPA的基于形式化模型的危險源識別方法。
首先，本文介紹了危險源識別方法的國內外研究現(xiàn)狀和研究背景，并指出了經(jīng)典的
2、、伴隨著機械系統(tǒng)的發(fā)展而出現(xiàn)的危險分析方法已經(jīng)不再適用于當今的社會科技系統(tǒng)，明確了本文的研究意義。
然后，闡明了社會科技系統(tǒng)的概念，列舉了影響社會科技系統(tǒng)危險源識別的因素，并詳細分析了社會科技系統(tǒng)的復雜特征與事故致因模型在危險分析中所起到的主要影響。
第三，提出了基于形式化模型的危險源識別方法——BFM-STPA，利用CPN模型強大的描述能力、動態(tài)仿真功能和形式化分析功能，建立社會技術系統(tǒng)的分層控制結構模型，實現(xiàn)將文
3、字形式的系統(tǒng)規(guī)范模型化。在已建成的CPN模型的基礎上，根據(jù)一系列引導條件對系統(tǒng)進行危險源識別，分析得到系統(tǒng)中的不恰當控制，即危險源，并根據(jù)CPN模型生成的狀態(tài)空間可達圖及分層控制結構模型找出導致危險發(fā)生的原因，進而得出系統(tǒng)安全需求，構成了最終的危險日志。
最后，將上述方法應用于CTCS-3列控系統(tǒng)的臨時限速下發(fā)場景，共識別了49個危險源，并找出了相關的致因及安全需求，構成了最終的危險日志;然后，將該結果與應用HAZOP方法針對
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
評論
0/150
提交評論