發(fā)布時間：2017-09-06 17:54

  本文關(guān)鍵詞：在ARM虛擬化環(huán)境中實現(xiàn)ARINC 653分區(qū)的研究

  更多相關(guān)文章： 虛擬化 實時調(diào)度 ARINC653 分區(qū)

【摘要】：隨著電子設(shè)備智能化程度的提高,電子設(shè)備所包含的硬件及軟件數(shù)量也會成倍增長,從而會帶來系統(tǒng)復(fù)雜度高,維護成本大,硬件升級困難等問題。本文提出將航空電子領(lǐng)域的IMA架構(gòu)、以及針對于IMA架構(gòu)中實時操作系統(tǒng)的ARINC 653標(biāo)準(zhǔn),應(yīng)用于通用的非航空電子領(lǐng)域的嵌入式實時計算領(lǐng)域的軟硬件整合之中,使得電子設(shè)備在智能化增強的同時,依然能夠保有結(jié)構(gòu)簡明,便于維護和易于升級的特點。論文介紹了在ARM平臺上利用虛擬化技術(shù)實現(xiàn)ARINC 653分區(qū)的方案,論文主要完成了以下方面的工作:1)利用KVM/ARM虛擬化技術(shù)構(gòu)建高性能ARM虛擬化平臺作為實現(xiàn)ARINC 653分區(qū)的基礎(chǔ)平臺;2)利用符合ARINC 653分區(qū)時間隔離性要求的實時調(diào)度技術(shù),實現(xiàn)實時任務(wù)之間的隔離,并對調(diào)度技術(shù)的實時性能作出評估;3)整合虛擬化技術(shù)和實時調(diào)度技術(shù),實現(xiàn)了ARINC 653分區(qū),并對其進行隔離性驗證;4)對所實現(xiàn)的ARINC 653分區(qū)進行實時性能評估,根據(jù)評估結(jié)果給出ARINC 653分區(qū)的應(yīng)用約束。
【關(guān)鍵詞】：虛擬化 實時調(diào)度 ARINC653 分區(qū)
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：V243
【目錄】：

• 摘要3-4
• ABSTRACT4-10
• 第一章 緒論10-16
• 1.1 研究背景與意義10-13
• 1.2 研究現(xiàn)狀13-14
• 1.3 研究目標(biāo)和關(guān)鍵技術(shù)14-15
• 1.4 論文結(jié)構(gòu)15-16
• 第二章 相關(guān)技術(shù)說明16-24
• 2.1 ARINC 653標(biāo)準(zhǔn)16-19
• 2.1.1 總體架構(gòu)16
• 2.1.2 應(yīng)用/執(zhí)行接口（APEX）16-17
• 2.1.3 實時操作系統(tǒng)（RTOS）17-19
• 2.1.4 應(yīng)用軟件（APPLICATION SOFTWARE）19
• 2.1.5 ARINC 653標(biāo)準(zhǔn)的優(yōu)勢19
• 2.2 虛擬化技術(shù)簡介19-20
• 2.2.1 虛擬化技術(shù)的分類20
• 2.2.2 ARM平臺虛擬化的難點20
• 2.3 Linux內(nèi)核CPUSETS機制20-22
• 2.4 本章小結(jié)22-24
• 第三章 ARM平臺虛擬化技術(shù)24-34
• 3.1 KVM/ARM虛擬化方案24-26
• 3.1.1 ARM硬件虛擬化擴展24-25
• 3.1.2 虛擬機管理器架構(gòu)25-26
• 3.2 硬件平臺26-27
• 3.3 ARM虛擬化實驗平臺的構(gòu)建27-33
• 3.3.1 操作系統(tǒng)的引導(dǎo)28-29
• 3.3.2 Linux內(nèi)核的編譯29-31
• 3.3.3 文件系統(tǒng)的準(zhǔn)備31-32
• 3.3.4 虛擬機的運行32-33
• 3.4 本章小結(jié)33-34
• 第四章 符合ARINC 653分區(qū)時間隔離要求的實時調(diào)度34-46
• 4.1 分區(qū)的時間隔離算法——CBS算法34-37
• 4.2 采用CBS算法的實時調(diào)度37-45
• 4.2.1 為實時任務(wù)分配一個專用CPU物理核38-39
• 4.2.2 運行實時任務(wù)時相關(guān)術(shù)語的定義39-41
• 4.2.3 SCHED_DEADLINE調(diào)度器調(diào)度實時任務(wù)的表現(xiàn)41-45
• 4.3 本章小結(jié)45-46
• 第五章 ARINC 653分區(qū)的實現(xiàn)及驗證46-56
• 5.1 實時運行環(huán)境說明46-47
• 5.2 實時虛擬機的運行47-51
• 5.3 虛擬機中實時任務(wù)運行周期的的選擇51
• 5.4 實時虛擬機的開銷51-52
• 5.5 時間隔離性的驗證52-54
• 5.6 本章小結(jié)54-56
• 第六章 虛擬化技術(shù)實現(xiàn)的ARINC 653分區(qū)實時性能測試56-66
• 6.1 虛擬機定時器最大觸發(fā)頻率56-58
• 6.2 虛擬機定時器最大均勻觸發(fā)頻率58-62
• 6.3 多虛擬機運行對實時性能的影響62-63
• 6.4 ARINC 653分區(qū)的應(yīng)用約束63-64
• 6.5 本章小結(jié)64-66
• 第七章 總結(jié)與展望66-68
• 7.1 論文主要工作66-67
• 7.2 未來工作展望67-68
• 參考文獻68-72
• 致謝72-74
• 攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄74-76

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉迎歡,羅志強;ARINC429協(xié)議和與之對應(yīng)的俄羅斯標(biāo)準(zhǔn)的比較[J];航空電子技術(shù);2002年01期

2 何菲玲;龔靜康;;ARINC429總線接口模塊的實現(xiàn)[J];聲學(xué)與電子工程;2005年04期

3 屈志宏;景博;李寧;張晶;;ARINC-429數(shù)據(jù)總線通信實現(xiàn)方式研究[J];電子技術(shù);2007年05期

4 丁猛;郭英;;ARINC 429信號處理板的設(shè)計[J];微計算機信息;2008年13期

5 龔斌;;飛機ARINC429數(shù)據(jù)總線[J];科技風(fēng);2010年22期

6 高超;韓冰;;基于單片機的ARINC429校準(zhǔn)用信號源設(shè)計研究[J];計測技術(shù);2011年02期

7 任記達;;機載ARINC429總線接口電路的實現(xiàn)[J];科技信息;2012年15期

8 藍海文;;ARINC 664總線信號在線路延遲中的測試技巧[J];航空制造技術(shù);2013年03期

9 惲通世;對美國航空無線電公司ARINC電子設(shè)備規(guī)范的介紹與分析[J];航空標(biāo)準(zhǔn)化與質(zhì)量;1987年02期

10 張樹彥;張哲;殷鍇;胡忠志;;ARINC664網(wǎng)絡(luò)終端系統(tǒng)測試技術(shù)研究[J];計算機測量與控制;2013年09期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 ;Research of Method for Testing ARINC429 Bus[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年

2 鄭海良;宋東;馬存寶;;用于自動測試的ARINC429總線接口設(shè)計[A];中國儀器儀表學(xué)會第三屆青年學(xué)術(shù)會議論文集（下）[C];2001年

3 陳丹丹;文光俊;;ARINC 429總線接口設(shè)計[A];四川省通信學(xué)會2006年學(xué)術(shù)年會論文集（二）[C];2006年

4 魏婷;張喜民;;ARINC659背板總線調(diào)試方法研究[A];2008年航空試驗測試技術(shù)峰會論文集[C];2008年

5 盛中來;熊華鋼;;基于DSP的ARINC429通信板卡設(shè)計[A];全國第十屆信號與信息處理、第四屆DSP應(yīng)用技術(shù)聯(lián)合學(xué)術(shù)會議論文集[C];2006年

6 陳丹丹;;基于FPGA的ARINC429總線接口設(shè)計[A];第二十一屆中國（天津）’2007IT、網(wǎng)絡(luò)、信息技術(shù)、電子、儀器儀表創(chuàng)新學(xué)術(shù)會議論文集[C];2007年

7 李運喜;葉宏;韓煒;;滿足ARINC653要求機載操作系統(tǒng)的模型研究[A];面向航空試驗測試技術(shù)——2013年航空試驗測試技術(shù)峰會暨學(xué)術(shù)交流會論文集[C];2013年

8 盧永強;李寧;趙晶晶;;民機飛行數(shù)據(jù)記錄系統(tǒng)——ARINC717規(guī)范發(fā)展歷程[A];2013年度標(biāo)準(zhǔn)化學(xué)術(shù)研究論文集[C];2013年

9 周萬軍;胡鋼;郭立新;王之昊;;基于NIOSⅡ的ARINC429通信板設(shè)計[A];2006中國西部青年通信學(xué)術(shù)會議論文集[C];2006年

10 錢亮;蔡勇;;基于FX2的USB-429總線測試儀[A];中國航空學(xué)會信號與信息處理專業(yè)全國第八屆學(xué)術(shù)會議論文集[C];2004年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 陸;歐比特推出全新EMBC1000——PCI429卡[N];中國電子報;2008年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 魏峰;基于ARINC653平臺的AADL模型代碼自動生成技術(shù)研究[D];陜西師范大學(xué);2015年

2 袁保玉;基于ARINC 661的座艙顯示系統(tǒng)內(nèi)核的研究與實現(xiàn)[D];西安電子科技大學(xué);2014年

3 顧峰;在ARM虛擬化環(huán)境中實現(xiàn)ARINC 653分區(qū)的研究[D];上海交通大學(xué);2015年

4 楊海星;ARINC 429總線收發(fā)器設(shè)計與實現(xiàn)[D];蘇州大學(xué);2010年

5 吳瑾;基于ARINC429通信的混合飛機駕艙實驗系統(tǒng)[D];哈爾濱工業(yè)大學(xué);2010年

6 廖治宇;通用ARINC429總線分析測試儀的軟件設(shè)計[D];電子科技大學(xué);2013年

7 何治斌;ARINC629航空通信總線數(shù)據(jù)收發(fā)裝置開發(fā)研究[D];西北工業(yè)大學(xué);2005年

8 黃鳴豐;基于ARINC661的平視顯示器內(nèi)核軟件研究與實現(xiàn)[D];南京航空航天大學(xué);2012年

9 丁志平;基于ARINC 659總線的仿真驗證系統(tǒng)設(shè)計[D];東華大學(xué);2015年

10 解慶;基于嵌入式的ARINC429數(shù)據(jù)總線測試系統(tǒng)的設(shè)計[D];西華大學(xué);2009年

，

本文編號：804588