惡劣天氣導(dǎo)致的航班大面積延誤和起降安全是困擾民航運(yùn)輸?shù)膬纱箅y題。為解決這些問(wèn)題,近年來(lái),許多新型的顯示系統(tǒng)逐漸在民用航空飛行運(yùn)行中應(yīng)用。機(jī)載顯示系統(tǒng)屬于航電安全關(guān)鍵系統(tǒng),需要在系統(tǒng)研制過(guò)程中開(kāi)展完善的風(fēng)險(xiǎn)識(shí)別與分析。隨著系統(tǒng)復(fù)雜性的增加,傳統(tǒng)方法面臨許多的局限性。因此,本文對(duì)機(jī)載顯示系統(tǒng)的新型安全性分析方法進(jìn)行研究,以系統(tǒng)理論事故模型和過(guò)程（Systems-Theoretic Accident Model and Process,STAMP）為基礎(chǔ),針對(duì)系統(tǒng)安全性和人機(jī)交互安全性兩方面,分別進(jìn)行研究,以機(jī)載平視顯示系統(tǒng)為例,進(jìn)行案例分析。首先,將基于STAMP理論的安全性分析方法-系統(tǒng)理論過(guò)程分析（System-Theoretic Process Analysis,STPA）與基于時(shí)間自動(dòng)機(jī)理論的形式化驗(yàn)證UPPAAL相結(jié)合,研究?jī)烧唛g的結(jié)合流程和轉(zhuǎn)換方式,進(jìn)行擴(kuò)展,識(shí)別并驗(yàn)證系統(tǒng)中潛在的不安全控制行為。接著,利用貝葉斯網(wǎng)絡(luò),建立STPA-Bayes定量分析模型,計(jì)算不安全控制行為的發(fā)生概率。同時(shí)將結(jié)果與故障樹(shù)進(jìn)行對(duì)比,驗(yàn)證模型的正確性。最后,在前兩部分的基礎(chǔ)上,對(duì)人因可靠性進(jìn)行研究,... 

【文章來(lái)源】：中國(guó)民航大學(xué)天津市

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

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

【部分圖文】：

圖１－１論文組織構(gòu)架??６??

）。ＳＴＰＡ是一種主動(dòng)分析方法，可分析開(kāi)發(fā)過(guò)程中事故??的潛在原囡，從而消除或控制危險(xiǎn)源。ＣＡＳＴ基一種追溯分析方法，用于檢查已發(fā)生的??事＿故征候，并確定所涉及的因果因素。??ＳＴＰＡ．全稱?Ｓｙｓｔｅｍ?Ｔｈｅｏｒｅｔｉｃ?Ｐｒｏｃｅｓｓ?Ａｎａｌｙｓｉｓ，：是義于．ＳＴＡＭＰ?的新型：危險(xiǎn)分析技術(shù)??方法，具有與其他危險(xiǎn)分析技術(shù)相同的目標(biāo)［３６］。通過(guò)控制結(jié)構(gòu)圖來(lái)描述系統(tǒng)組成和控制??反饋路徑，并分析每個(gè)控制部件潛在的危險(xiǎn)。它可用于系統(tǒng)生命周期的任何階段。ＳＴＰＡ??分析過(guò)程如圖２－１所示：??ＳＴＰＡＳＴＥＰ??１）定義分析?２）構(gòu)建安全｜?３３?４Ｈ別不安｜?４）識(shí)別致囡??的目的?１控制結(jié)構(gòu)?１全控制行為?１?場(chǎng)景??圖２－１?ＳＴＰＡ分析步驟??任何一種分析方法的第一歩都懸定義分析目的。ＳＴＰＡ走義分析Ｓ的分為：＿三＿部：分：??（１）定義損失（事故）．??（２）識(shí)別系統(tǒng)層級(jí)危險(xiǎn)??７??

象概念，??必須明確系統(tǒng)中有什么，系統(tǒng)邊界在哪里。從工程角度來(lái)說(shuō)，用于分析直的來(lái)定義系統(tǒng)??邊界的最行之有效的方法是將系統(tǒng)設(shè)計(jì)者控制下的系統(tǒng)部分包含進(jìn)去。這也是區(qū)分風(fēng)險(xiǎn)??與損失的主要原因，即損失涉及的方面可能是系統(tǒng)設(shè)計(jì)者或運(yùn)曹者只有部分控制權(quán)或根??本沒(méi)有控制權(quán)的方面＾??第二步是要構(gòu)建系統(tǒng)模型，稱為安全控制結(jié)構(gòu)�？刂平Y(jié)構(gòu)通過(guò)一套分層反饋控制回??路為系統(tǒng)建模捕捉功能性關(guān)系及相互作用�？刂茖咏o被控層施加約束�？刂平Y(jié)構(gòu)通常起??始ｆ較為抽象的層級(jí)并通過(guò)迭代調(diào)整以捕捉更多系統(tǒng)細(xì)節(jié)，如圖２－２所示。此外，過(guò)程??模型是控制理論的一個(gè)重要組成部分。它代表著控制器的內(nèi)部想法，可被控制算法用來(lái)??決定控制行為。??書面／培訓(xùn)流程?環(huán)境輸入??人工控制器＾?１１自＇動(dòng)化模型???＝控制措施生成??＇??］??控制過(guò)程摸型????Ｉ?—＾??控制??？顯７Ｋ????自動(dòng)控制器丨????????＿２集法肆制，，受控過(guò)程反饋??｜?ＬＪ?ｔＪ?１?貝??—ｊ執(zhí)行器??傳感器…」??ｊ?受控過(guò)程?．??過(guò)程輸入??１?１?過(guò)程輸出??干擾??圖２－２分層安全控制結(jié)構(gòu)??第三步旨在分析控制結(jié)構(gòu)中的控制行為，以驗(yàn)證此類行為如何導(dǎo)致第一步中所提到??的損失，用于生成系統(tǒng)的功能性要求與限制。在ＳＴＰＡ中，危險(xiǎn)狀態(tài)被認(rèn)為是由不恰當(dāng)??的控制和安全約束的實(shí)施造成的，一般可分為四種［３６］：??８??

【參考文獻(xiàn)】：
期刊論文
[1]基于STPA-Bayes模型的機(jī)載平視顯示系統(tǒng)安全性分析與評(píng)價(jià)[J]. 趙長(zhǎng)嘯,李浩,董磊,王鵬.  系統(tǒng)工程與電子技術(shù). 2020(05)
[2]基于STPA的機(jī)載平視顯示系統(tǒng)安全性分析[J]. 王鵬,李浩,趙長(zhǎng)嘯,邢培培.  電訊技術(shù). 2019(12)
[3]A formal approach using SysML for capturing functional requirements in avionics domain[J]. Shaofan ZHU,Jian TANG,Jean-Marie GAUTHIER,Raphaёl FAUDOU.  Chinese Journal of Aeronautics. 2019(12)
[4]地鐵盾構(gòu)施工人因可靠性分析的加權(quán)模糊CREAM模型[J]. 王寧,杜修力,張明聚,許成順,盧鑫月.  天津大學(xué)學(xué)報(bào)(自然科學(xué)與工程技術(shù)版). 2019(02)
[5]安全性評(píng)估方法在通用飛機(jī)航電系統(tǒng)中的應(yīng)用[J]. 胡躍輝,王陽(yáng),金韜,劉勁松,方勇.  電訊技術(shù). 2018(09)
[6]面向模型檢查的NuSMV統(tǒng)一建模方法[J]. 陳露,焦健,魏錢鋅.  系統(tǒng)工程與電子技術(shù). 2018(07)
[7]基于時(shí)間自動(dòng)機(jī)的物聯(lián)網(wǎng)網(wǎng)關(guān)安全系統(tǒng)的建模及驗(yàn)證[J]. 王國(guó)卿,莊雷,王瑞民,宋玉,張坤麗.  通信學(xué)報(bào). 2018(03)
[8]基于SPIN的安全協(xié)議的攻擊者建模方法研究[J]. 易輝凡,萬(wàn)良,黃娜娜,王鹍鵬.  信息網(wǎng)絡(luò)安全. 2018(02)
[9]基于多層STAMP模型的CTCS-1級(jí)列控系統(tǒng)功能安全分析方法[J]. 王昊,劉中田,徐越.  鐵路計(jì)算機(jī)應(yīng)用. 2017(05)
[10]基于AADL體系結(jié)構(gòu)模型的構(gòu)件系統(tǒng)可靠性評(píng)估[J]. 凌冬怡,王世海,劉斌.  系統(tǒng)工程與電子技術(shù). 2017(04)

碩士論文
[1]基于STPA的CTCS-1級(jí)列控系統(tǒng)區(qū)域列控?cái)?shù)據(jù)中心安全分析方法的研究[D]. 劉莎晨.北京交通大學(xué) 2018
[2]飛機(jī)駕駛操縱安全性評(píng)估方法研究[D]. 劉宇婕.南京航空航天大學(xué) 2017
[3]基于CREAM的船舶避碰人因可靠性分析[D]. 姜菲菲.武漢理工大學(xué) 2017
[4]基于形式化模型檢驗(yàn)的飛機(jī)系統(tǒng)演繹式安全分析方法研究[D]. 馬徑梁.南京航空航天大學(xué) 2012



本文編號(hào)：3047407