飛行控制系統(tǒng)作為飛機的控制核心負責(zé)保證飛機的穩(wěn)定性和操縱性,對飛行器的平穩(wěn)安全飛行起著重要作用。當前飛行控制系統(tǒng)面臨的主要問題是響應(yīng)時間和硬件資源消耗受限、內(nèi)存訪問錯誤、緩沖區(qū)溢出等造成的安全隱患。如何快速地發(fā)現(xiàn)飛行控制系統(tǒng)中存在的問題提高系統(tǒng)可靠性、安全性是當前飛行器領(lǐng)域的研究熱點。行為分析技術(shù)是提高計算機安全的有效技術(shù)。在計算機中行為分析技術(shù)可以有效收集程序運行過程信息,輔助程序優(yōu)化、檢測軟件缺陷并進行修復(fù)、分析惡意代碼、驗證內(nèi)存,提高系統(tǒng)安全性與可靠性。虛擬機監(jiān)視器由于具有強隔離性、高透明性等特點,成為研究系統(tǒng)行為和程序行為的熱點。因此本文選擇QEMU作為虛擬監(jiān)視器在其上模擬飛控計算機并使用虛擬機監(jiān)視器實現(xiàn)對飛控計算機的全系統(tǒng)行為分析。本文采用動態(tài)行為分析方法,通過全系統(tǒng)動態(tài)分析技術(shù)在系統(tǒng)運行時監(jiān)控系統(tǒng)運行狀態(tài),分析系統(tǒng)行為信息,為飛控計算機上層軟件測試發(fā)現(xiàn)系統(tǒng)缺陷、優(yōu)化系統(tǒng)提供開發(fā)工具�；谝陨闲枨�,本論文主要研究內(nèi)容包括:1.為給行為分析框架提供測試驗證平臺,本文基于全系統(tǒng)仿真器QEMU對PowerPC體系架構(gòu)的飛控計算機進行數(shù)字化建模,并針對當前數(shù)字化飛控計算機研究中未對內(nèi)...

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

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

【部分圖文】：

圖2-1虛擬機監(jiān)視器結(jié)構(gòu)圖

第二章基于虛擬飛控計算機的行為分析相關(guān)技術(shù)研究7第二章基于虛擬飛控計算機的行為分析相關(guān)技術(shù)研究本章首先對全系統(tǒng)行為分析相關(guān)技術(shù)進行了介紹，接下來對虛擬機自省技術(shù)進行了研究，最后對本課題所要使用的虛擬化建模工具QEMU的核心機制進行了分析，為后文工作的展開做鋪墊。2.1全系統(tǒng)動態(tài)行....

圖2-2語義鴻溝示意圖

遄?際躉袢∮沒?胍?腦誦惺斃形???笤偈褂瞇檳饣?允〖際跬瓿篩嘸隊鏌?視圖的構(gòu)建。2.1.2基于VMI的語義視圖重構(gòu)技術(shù)虛擬化安全系統(tǒng)的監(jiān)控單元通常放置在客戶端的隔離域上。利用虛擬機監(jiān)視器(VMM)從外部客戶端攔截的能力，虛擬化安全系統(tǒng)能夠訪問自己的狀態(tài)。然而，這種隔離在提高自身....

圖2-3虛擬機自省原理圖

第二章基于虛擬飛控計算機的行為分析相關(guān)技術(shù)研究9圖組件(VGC)來完成的。基于VGC在系統(tǒng)和方法上的位置和差異，綜合語義知識，生成視圖組件可分為三類：帶外傳遞模式、帶內(nèi)傳遞模式、派生模式。圖2-3虛擬機自省原理圖帶外傳輸模式即在客戶機外提供所需的語義知識，該模式是最常用的語義鴻溝....

圖2-4帶外傳輸模式圖

第二章基于虛擬飛控計算機的行為分析相關(guān)技術(shù)研究9圖組件(VGC)來完成的�；赩GC在系統(tǒng)和方法上的位置和差異，綜合語義知識，生成視圖組件可分為三類：帶外傳遞模式、帶內(nèi)傳遞模式、派生模式。圖2-3虛擬機自省原理圖帶外傳輸模式即在客戶機外提供所需的語義知識，該模式是最常用的語義鴻溝....

本文編號：3971023