本文關鍵詞：IMA平臺網(wǎng)絡的通信調(diào)度數(shù)據(jù)自動生成方法研究

  更多相關文章： IMA IMA平臺網(wǎng)絡 通信調(diào)度 自動生成 遞歸算法 可調(diào)度性驗證

【摘要】：IMA系統(tǒng)的實現(xiàn)是基于通用標準平臺(IMA平臺)以及標準的通信技術(AFDX)。那么,在IMA模塊與AFDX集成為IMA平臺網(wǎng)絡之前,需要進行網(wǎng)絡集成測試,以驗證IMA模塊的通用性以及IMA模塊配置與網(wǎng)絡配置的一致性。針對IMA平臺網(wǎng)絡的網(wǎng)絡集成測試,現(xiàn)行的方法主要是對IMA平臺網(wǎng)絡通信流進行測試。作為通信流測試輸入數(shù)據(jù)的通信調(diào)度數(shù)據(jù),在自動生成的過程中,需要兼顧IMA平臺網(wǎng)絡的配置信息以及所使用的通信技術的性能信息,使得通信調(diào)度數(shù)據(jù)的自動生成變得復雜,難以實現(xiàn)。尋找一種高效、通用的通信調(diào)度數(shù)據(jù)自動生成算法,能夠節(jié)省測試所花費的成本,提高測試的準確度。本文研究對象是IMA平臺網(wǎng)絡通信流測試的輸入數(shù)據(jù)——IMA平臺網(wǎng)絡通信調(diào)度數(shù)據(jù),尋求一種遞歸式的方法來自動生成通信調(diào)度數(shù)據(jù),并且對生成的通信調(diào)度數(shù)據(jù)進行可調(diào)度性驗證,以驗證生成算法的可行性、有效性,主要研究內(nèi)容如下:首先,依據(jù)ARINC653規(guī)范,探討了IMA模塊的架構(gòu)以及IMA的通信和調(diào)度概念。在此基礎上,分析了IMA平臺網(wǎng)絡的通信調(diào)度特性,并給出了一個通信調(diào)度生成的實例�；谶@個實例的分析過程,提出了一種用于IMA平臺網(wǎng)絡通信調(diào)度數(shù)據(jù)自動生成的遞歸式方法。最后,借助于體系結(jié)構(gòu)分析設計語言(AADL)對IMA平臺網(wǎng)絡實例進行建模,針對所建立的IMA平臺網(wǎng)絡實例模型應用AADL Inspector對其進行可調(diào)度分析,以驗證生成的通信調(diào)度數(shù)據(jù)的正確性,從而驗證遞歸式算法的可行性。結(jié)果表明:本文提出的算法能夠快速且準確地生成符合規(guī)范的通信調(diào)度數(shù)據(jù)。
【關鍵詞】：IMA IMA平臺網(wǎng)絡 通信調(diào)度 自動生成 遞歸算法 可調(diào)度性驗證
【學位授予單位】：中國民航大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：V243.1
【目錄】：

• 摘要5-6
• Abstract6-9
• 第一章 緒論9-13
• 1.1 研究背景及意義9-10
• 1.2 國內(nèi)外研究現(xiàn)狀10-12
• 1.3 論文主要工作內(nèi)容12
• 1.4 本章小結(jié)12-13
• 第二章 IMA平臺網(wǎng)絡基礎理論13-23
• 2.1 ARINC653規(guī)范定義的IMA模塊架構(gòu)13-16
• 2.1.1 ARINC653介紹13-14
• 2.1.2 IMA模塊架構(gòu)14-16
• 2.2 IMA通信16-18
• 2.2.1 IMA通信理論16-17
• 2.2.2 分區(qū)通信17-18
• 2.3 IMA調(diào)度18-22
• 2.3.1 IMA調(diào)度理論18
• 2.3.2 分區(qū)調(diào)度18-22
• 2.4 本章小結(jié)22-23
• 第三章 IMA平臺網(wǎng)絡通信調(diào)度分析23-33
• 3.1 IMA通信調(diào)度23-25
• 3.1.1 IMA通信調(diào)度的含義23-24
• 3.1.2 IMA通信調(diào)度的特性24-25
• 3.2 通信調(diào)度分析25-32
• 3.2.1 分區(qū)間端口通信25-27
• 3.2.2 通信調(diào)度27-32
• 3.3 本章小結(jié)32-33
• 第四章 通信調(diào)度數(shù)據(jù)自動生成33-47
• 4.1 問題概述33
• 4.2 通信調(diào)度自動生成過程33-41
• 4.2.1 遞歸式方法概述36-39
• 4.2.2 基于遞歸算法的通信調(diào)度數(shù)據(jù)自動生成39-41
• 4.3 仿真結(jié)果及分析41-46
• 4.4 本章小結(jié)46-47
• 第五章 通信調(diào)度數(shù)據(jù)的評估與驗證47-58
• 5.1 基于AADL的IMA平臺網(wǎng)絡靜態(tài)模型47-54
• 5.1.1 AADL概述47
• 5.1.2 IMA平臺網(wǎng)絡靜態(tài)模型47-50
• 5.1.3 IMA平臺網(wǎng)絡模型評估50-54
• 5.2 通信調(diào)度的動態(tài)仿真與評估54-57
• 5.2.1 仿真設置54-55
• 5.2.2 仿真結(jié)果與分析55-57
• 5.3 本章小結(jié)57-58
• 結(jié)論58-60
• 致謝60-61
• 參考文獻61-64
• 攻讀碩士期間發(fā)表論文64

【相似文獻】

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

1 衛(wèi)鋒;;跨平臺網(wǎng)絡學習行為監(jiān)視軟件的研究與實踐[J];湖北理工學院學報;2012年05期

2 張煜,肖文拯;LINUX平臺網(wǎng)絡服務研究[J];太原重型機械學院學報;2005年01期

3 ;[J];;年期

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

1 楊進;吳偉杰;祝鳳杰;;艦船設計平臺網(wǎng)絡管理[A];2010年MIS/S&A學術交流會議論文集（中國造船工程學會學術論文集）[C];2010年

2 楊進;張明;祝鳳杰;;艦船設計平臺網(wǎng)絡安全技術探討[A];2007年CAD/CAM學術交流會議論文集[C];2007年

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

1 叢妍 朱井男 記者 楊曉艷;我省將建設中小企業(yè)公共服務平臺網(wǎng)絡體系[N];吉林日報;2011年

2 實習記者 馬捷思;云南省中小企業(yè)公共服務平臺網(wǎng)絡啟動[N];云南經(jīng)濟日報;2014年

3 記者 孫偉 通訊員 周玨;全省中小企業(yè)公共服務平臺網(wǎng)絡啟動運行[N];云南日報;2014年

4 記者 任杰;搭建服務平臺網(wǎng)絡 創(chuàng)建充分就業(yè)街道[N];營口日報;2010年

5 記者 王光榮 周偉華;我市中小企業(yè)公共服務平臺網(wǎng)絡開建[N];重慶日報;2012年

6 魏林 李世福 本報記者 桑蕾;縱橫網(wǎng)絡“攔截”中小企業(yè)難題[N];黑龍江日報;2012年

7 本報記者 由慶祝 通訊員 魏林;黑龍江打造服務平臺網(wǎng)絡支持中小企業(yè)發(fā)展[N];中國工業(yè)報;2013年

8 趙孟鑫 黑龍江省財政科學研究所;加強中小企業(yè)公共服務平臺網(wǎng)絡建設[N];黑龍江日報;2013年

9 記者 鐘文;我省將力爭用3年基本建成中小企業(yè)公共服務平臺網(wǎng)絡[N];成都日報;2013年

10 李;杰爾TrueONE提供統(tǒng)一平臺網(wǎng)絡[N];計算機世界;2006年

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

1 魯云峰;浙江省中小企業(yè)公共服務平臺網(wǎng)絡融資研究[D];新疆財經(jīng)大學;2015年

2 李浩;IMA平臺網(wǎng)絡的通信調(diào)度數(shù)據(jù)自動生成方法研究[D];中國民航大學;2016年

，

本文編號：863725