基于概率模型檢驗的民機(jī)平視顯示系統(tǒng)建模與安全性分析

王 鵬, 張 帆, 董 磊, 趙長嘯

(中國民航大學(xué),a.天津市民用航空器適航與維修重點實驗室; b.適航學(xué)院，天津 300300)

基于概率模型檢驗的民機(jī)平視顯示系統(tǒng)建模與安全性分析

王 鵬a, 張 帆b, 董 磊a, 趙長嘯a

(中國民航大學(xué),a.天津市民用航空器適航與維修重點實驗室; b.適航學(xué)院，天津 300300)

民機(jī)平視顯示系統(tǒng)(HUD)作為安全關(guān)鍵系統(tǒng)，由于其高度復(fù)雜且與其他機(jī)載系統(tǒng)結(jié)合使用，使得傳統(tǒng)系統(tǒng)安全性評估方法難以滿足定量安全性分析需求。因此，需要開發(fā)基于形式化模型的安全性評估(MBSA)方法，在明確概率模型檢驗原理及系統(tǒng)高層建模規(guī)范基礎(chǔ)上，研究平顯系統(tǒng)概率模型分層建模方法，建立平顯系統(tǒng)概率模型，并描述系統(tǒng)定量安全性屬性，展開自動概率模型檢驗，得出定量安全性分析結(jié)論，提高安全性分析效率與運算結(jié)果精確度。

平視顯示器； 民機(jī)； 概率模型檢驗； 形式化模型； 定量分析； 安全性

0 引言

作為民用飛機(jī)航行新技術(shù)，平視顯示系統(tǒng)(HUD)與其他系統(tǒng)相互綜合，將重要的飛行參數(shù)(如飛行高度、飛行速度、姿態(tài)、航向等)以圖形、字符的形式，通過光學(xué)部件投影到座艙正前方組合儀上[1]。由于該組合儀高度大致與飛行員的眼睛處于水平位置，因此飛行員透過平顯觀察艙外景物時，幾乎不用改變眼睛焦距就能同時觀測到平顯上顯示的圖形和字符信息，從而及時修正飛行姿態(tài)，對于減輕飛行員負(fù)擔(dān)，提高飛行員環(huán)境感知能力，增強(qiáng)飛行安全性具有重要意義。

隨著平顯系統(tǒng)集成化程度的提高，平顯系統(tǒng)部分功能以模塊化形式集成到綜合模塊化的航電系統(tǒng)(IMA)中，且通過飛控系統(tǒng)、增強(qiáng)視景系統(tǒng)等獲取數(shù)據(jù)及視頻信息，使得平顯系統(tǒng)高度復(fù)雜。……