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

  更多相關(guān)文章： IMA IMA平臺(tái)網(wǎng)絡(luò) 通信調(diào)度 自動(dòng)生成 遞歸算法 可調(diào)度性驗(yàn)證

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

• 摘要5-6
• Abstract6-9
• 第一章 緒論9-13
• 1.1 研究背景及意義9-10
• 1.2 國(guó)內(nèi)外研究現(xiàn)狀10-12
• 1.3 論文主要工作內(nèi)容12
• 1.4 本章小結(jié)12-13
• 第二章 IMA平臺(tái)網(wǎng)絡(luò)基礎(chǔ)理論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平臺(tái)網(wǎng)絡(luò)通信調(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ù)自動(dòng)生成33-47
• 4.1 問(wèn)題概述33
• 4.2 通信調(diào)度自動(dòng)生成過(guò)程33-41
• 4.2.1 遞歸式方法概述36-39
• 4.2.2 基于遞歸算法的通信調(diào)度數(shù)據(jù)自動(dòng)生成39-41
• 4.3 仿真結(jié)果及分析41-46
• 4.4 本章小結(jié)46-47
• 第五章 通信調(diào)度數(shù)據(jù)的評(píng)估與驗(yàn)證47-58
• 5.1 基于AADL的IMA平臺(tái)網(wǎng)絡(luò)靜態(tài)模型47-54
• 5.1.1 AADL概述47
• 5.1.2 IMA平臺(tái)網(wǎng)絡(luò)靜態(tài)模型47-50
• 5.1.3 IMA平臺(tái)網(wǎng)絡(luò)模型評(píng)估50-54
• 5.2 通信調(diào)度的動(dòng)態(tài)仿真與評(píng)估54-57
• 5.2.1 仿真設(shè)置54-55
• 5.2.2 仿真結(jié)果與分析55-57
• 5.3 本章小結(jié)57-58
• 結(jié)論58-60
• 致謝60-61
• 參考文獻(xiàn)61-64
• 攻讀碩士期間發(fā)表論文64

【相似文獻(xiàn)】

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

1 衛(wèi)鋒;;跨平臺(tái)網(wǎng)絡(luò)學(xué)習(xí)行為監(jiān)視軟件的研究與實(shí)踐[J];湖北理工學(xué)院學(xué)報(bào);2012年05期

2 張煜,肖文拯;LINUX平臺(tái)網(wǎng)絡(luò)服務(wù)研究[J];太原重型機(jī)械學(xué)院學(xué)報(bào);2005年01期

3 ;[J];;年期

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

1 楊進(jìn);吳偉杰;祝鳳杰;;艦船設(shè)計(jì)平臺(tái)網(wǎng)絡(luò)管理[A];2010年MIS/S&A學(xué)術(shù)交流會(huì)議論文集（中國(guó)造船工程學(xué)會(huì)學(xué)術(shù)論文集）[C];2010年

2 楊進(jìn);張明;祝鳳杰;;艦船設(shè)計(jì)平臺(tái)網(wǎng)絡(luò)安全技術(shù)探討[A];2007年CAD/CAM學(xué)術(shù)交流會(huì)議論文集[C];2007年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 叢妍 朱井男 記者 楊曉艷;我省將建設(shè)中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)體系[N];吉林日?qǐng)?bào);2011年

2 實(shí)習(xí)記者 馬捷思;云南省中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)啟動(dòng)[N];云南經(jīng)濟(jì)日?qǐng)?bào);2014年

3 記者 孫偉 通訊員 周玨;全省中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)啟動(dòng)運(yùn)行[N];云南日?qǐng)?bào);2014年

4 記者 任杰;搭建服務(wù)平臺(tái)網(wǎng)絡(luò) 創(chuàng)建充分就業(yè)街道[N];營(yíng)口日?qǐng)?bào);2010年

5 記者 王光榮 周偉華;我市中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)開(kāi)建[N];重慶日?qǐng)?bào);2012年

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

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

8 趙孟鑫 黑龍江省財(cái)政科學(xué)研究所;加強(qiáng)中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)建設(shè)[N];黑龍江日?qǐng)?bào);2013年

9 記者 鐘文;我省將力爭(zhēng)用3年基本建成中小企業(yè)公共服務(wù)平臺(tái)網(wǎng)絡(luò)[N];成都日?qǐng)?bào);2013年

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

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

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

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

，

本文編號(hào)：863725