增強(qiáng)飛行視景系統(tǒng)(Enhanced Flight Vision System,EFVS)能夠?qū)w機(jī)外界環(huán)境實(shí)時(shí)增強(qiáng)圖像與飛行信息疊加后提供給駕駛員,提高飛行員情景意識(shí),實(shí)現(xiàn)飛機(jī)低能見度起降。分析顯示,由于EFVS功能錯(cuò)誤或喪失會(huì)導(dǎo)致I、II、III類失效狀態(tài)發(fā)生,因此,需要對(duì)其展開定量系統(tǒng)安全性分析。由于傳統(tǒng)安全性分析方法存在依賴專家經(jīng)驗(yàn),在系統(tǒng)發(fā)生更改迭代時(shí)工作量大等問題,難以滿足復(fù)雜機(jī)載系統(tǒng)的安全性評(píng)估需求。解決上述問題,本文提出了基于概率檢驗(yàn)?zāi)Ｐ偷陌踩苑治龇椒?以實(shí)現(xiàn)對(duì)EFVS的定量安全性分析,并提高分析效率。研究?jī)?nèi)容圍繞以下方面展開:(1)本文首先在捕獲EFVS系統(tǒng)設(shè)計(jì)需求基礎(chǔ)上,對(duì)其功能與頂層失效狀態(tài)展開深入研究,完成系統(tǒng)功能危害性分析;研究EFVS物理及邏輯架構(gòu),建立相應(yīng)的名義模型;(2)分析系統(tǒng)內(nèi)部底層軟硬件的失效模式、失效影響及失效率等信息,將失效信息注入到名義模型中,生成系統(tǒng)定性失效擴(kuò)展模型;(3)研究轉(zhuǎn)換規(guī)則,將失效擴(kuò)展模型轉(zhuǎn)換為可以用于定量分析的概率檢驗(yàn)?zāi)Ｐ?(4)將定量安全性需求轉(zhuǎn)換為系統(tǒng)定量屬性,對(duì)典型失效狀態(tài)展開模型檢驗(yàn),得出定量分析結(jié)果,驗(yàn)證EFVS典型功能架構(gòu)的設(shè)計(jì)合理性。最后,為進(jìn)一步證明結(jié)果的可信性及方法的有效性,本文采用傳統(tǒng)故障樹對(duì)運(yùn)算結(jié)果加以驗(yàn)證,并將整個(gè)基于模型的方法同傳統(tǒng)安全性方法進(jìn)行比較,結(jié)果表明,本文采用的方法能夠?qū)崿F(xiàn)復(fù)雜系統(tǒng)定量安全性自動(dòng)分析,運(yùn)算結(jié)果可信,且安全性分析效率得到提高。
【學(xué)位單位】：中國(guó)民航大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2018
【中圖分類】：V328

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王鵬;張帆;董磊;胡劍波;趙長(zhǎng)嘯;;故障拓展模型到概率檢驗(yàn)?zāi)Ｐ偷霓D(zhuǎn)換規(guī)則[J];系統(tǒng)工程與電子技術(shù);2017年11期

2 王鵬;張帆;董磊;趙長(zhǎng)嘯;;基于概率模型檢驗(yàn)的民機(jī)平視顯示系統(tǒng)建模與安全性分析[J];電光與控制;2017年11期

3 陳磊;焦健;趙廷弟;;基于模型的復(fù)雜系統(tǒng)安全分析綜述[J];系統(tǒng)工程與電子技術(shù);2017年06期

4 車程;劉軼斐;;基于模型的安全性分析技術(shù)研究[J];航空工程進(jìn)展;2016年03期

5 費(fèi)益;;民用飛機(jī)增強(qiáng)型飛行視景系統(tǒng)研究[J];科技視界;2016年11期

6 谷青范;王國(guó)慶;張麗花;翟鳴;;基于模型驅(qū)動(dòng)的航電系統(tǒng)安全性分析技術(shù)研究[J];計(jì)算機(jī)科學(xué);2015年03期

7 張福凱;賀軼斐;谷青范;;基于模型驅(qū)動(dòng)的HUD系統(tǒng)安全性分析方法研究[J];航空電子技術(shù);2014年03期

8 王全忠;高文正;;平視顯示器在民用飛機(jī)上的應(yīng)用研究[J];電光與控制;2014年08期

9 全宏宇;趙會(huì)兵;;基于概率模型檢驗(yàn)的CTCS-3級(jí)無線通信建模與分析[J];北京交通大學(xué)學(xué)報(bào);2014年02期

10 侯剛;周寬久;勇嘉偉;任龍濤;王小龍;;模型檢測(cè)中狀態(tài)爆炸問題研究綜述[J];計(jì)算機(jī)科學(xué);2013年S1期

相關(guān)博士學(xué)位論文 前1條

1 徐偉峰;多主體模型定量驗(yàn)證方法研究[D];吉林大學(xué);2014年

相關(guān)碩士學(xué)位論文 前4條

1 唐小勇;馬爾科夫鏈問題算法研究[D];電子科技大學(xué);2015年

2 吳連慧;機(jī)載平顯圖形生成與視頻處理算法研究及其FPGA實(shí)現(xiàn)[D];南京航空航天大學(xué);2014年

3 顧敏麗;基于概率模型檢驗(yàn)的無線傳感網(wǎng)機(jī)會(huì)路由研究[D];南京郵電大學(xué);2014年

4 馬徑梁;基于形式化模型檢驗(yàn)的飛機(jī)系統(tǒng)演繹式安全分析方法研究[D];南京航空航天大學(xué);2012年

本文編號(hào)：2816800