本文關(guān)鍵詞：模型驅(qū)動的IMA系統(tǒng)資源配置分析與驗證及優(yōu)化方法研究

  更多相關(guān)文章： 綜合航電系統(tǒng) 資源配置 MARTE 可調(diào)度性判定 MAST 資源分配優(yōu)化

【摘要】：近年來綜合模塊化航空電子系統(tǒng)(IMA)已經(jīng)廣泛應(yīng)用于機(jī)載航空電子系統(tǒng),是航空領(lǐng)域的一項重要系統(tǒng)結(jié)構(gòu)和發(fā)展趨勢。在IMA系統(tǒng)開發(fā)過程中,針對系統(tǒng)滿足資源共享以及安全可靠運行的需求,IMA系統(tǒng)資源的配置成為開發(fā)過程中至關(guān)重要的一部分,因此如何有效的對IMA系統(tǒng)資源進(jìn)行配置以及確保資源配置的正確性成為綜合航電系統(tǒng)領(lǐng)域一項重要的研究問題。同時在系統(tǒng)開發(fā)過程中包含硬件資源分配和軟件資源分配兩個階段,在滿足資源約束情況下不同的分配方式會導(dǎo)致飛機(jī)質(zhì)量、開發(fā)成本以及安全性等性能指標(biāo)的不同,因此如何根據(jù)多個目標(biāo)對系統(tǒng)硬軟件資源的分配進(jìn)行優(yōu)化從而獲得最優(yōu)分配在綜合航電領(lǐng)域也將具有重要意義。本文工作主要針對IMA系統(tǒng)開發(fā)和資源配置流程展開分析,并對其中的系統(tǒng)時間資源配置進(jìn)行驗證,同時對系統(tǒng)硬軟件資源的分配問題進(jìn)行建模并對其進(jìn)行多目標(biāo)優(yōu)化從而獲得最優(yōu)解,具體研究內(nèi)容如下所述:1)針對IMA系統(tǒng)資源共享特征,結(jié)合對IMA系統(tǒng)開發(fā)與資源配置流程的分析,基于實時嵌入式系統(tǒng)建模與分析規(guī)范(MARTE)對IMA系統(tǒng)時間行為相關(guān)概念(包括通信虛擬鏈路、AFDX終端、資源設(shè)備模塊、分區(qū)、進(jìn)程等)進(jìn)行建模從而獲得對應(yīng)的MARTE模型,設(shè)計了基于模型驅(qū)動架構(gòu)的IMA系統(tǒng)建模方法。2)針對IMA系統(tǒng)分區(qū)調(diào)度模型的分析,將系統(tǒng)時間行為概念所得到的MARTE模型轉(zhuǎn)換為MAST-2文本模型進(jìn)行描述并加上自定義調(diào)度策略,設(shè)計了一種系統(tǒng)分區(qū)可調(diào)度性驗證框架,并通過MAST可調(diào)度分析工具對MAST-2文本模型進(jìn)行分析,基于系統(tǒng)可調(diào)度性判定設(shè)計了時間資源配置的正確性驗證方法。3)研究了IMA系統(tǒng)硬件資源分配和軟件資源分配問題,采用二進(jìn)制編碼形式對系統(tǒng)硬軟件資源分配進(jìn)行建模,并且設(shè)計了相關(guān)數(shù)學(xué)等式和不等式對資源分配約束進(jìn)行描述,然后根據(jù)質(zhì)量、成本以及安全性等需求目標(biāo)構(gòu)建目標(biāo)函數(shù),采用多目標(biāo)優(yōu)化算法進(jìn)行優(yōu)化,從而得到硬軟件資源分配的最優(yōu)解。4)基于Eclipse平臺和EMF等相關(guān)機(jī)制,設(shè)計并實現(xiàn)了一個用于IMA系統(tǒng)資源配置驗證的原型工具IMA_RCV,并通過該工具給出了機(jī)載水處理子系統(tǒng)的資源配置、建模分析以及時間資源配置驗證的實例分析。最后針對系統(tǒng)硬軟件資源分配的建模以及優(yōu)化問題給出相關(guān)實例分析。
【關(guān)鍵詞】：綜合航電系統(tǒng) 資源配置 MARTE 可調(diào)度性判定 MAST 資源分配優(yōu)化
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：V243
【目錄】：

• 摘要4-5
• ABSTRACT5-10
• 縮略詞10-11
• 第一章 緒論11-16
• 1.1 課題研究背景及意義11-12
• 1.2 國內(nèi)外研究現(xiàn)狀12-14
• 1.3 論文研究內(nèi)容與組織結(jié)構(gòu)14-16
• 第二章 綜合航電系統(tǒng)架構(gòu)及系統(tǒng)資源配置驗證分析框架16-23
• 2.1 IMA系統(tǒng)架構(gòu)概述16-17
• 2.2 IMA系統(tǒng)開發(fā)與資源配置流程17-19
• 2.2.1 IMA系統(tǒng)開發(fā)框架17-18
• 2.2.2 IMA系統(tǒng)資源配置流程18-19
• 2.3 MARTE與MAST-2 描述19-22
• 2.3.1 MARTE Profile19-21
• 2.3.2 MAST-2 模型21-22
• 2.4 本章小結(jié)22-23
• 第三章 IMA系統(tǒng)時間資源配置分析與正確性驗證23-34
• 3.1 基于MARTE的IMA系統(tǒng)建模23-28
• 3.1.1 通信虛擬鏈路建模23-24
• 3.1.2 AFDX終端建模24-25
• 3.1.3 資源設(shè)備模塊建模25
• 3.1.4 分區(qū)建模25-26
• 3.1.5 進(jìn)程建模26-28
• 3.2 IMA系統(tǒng)時間資源配置驗證28-33
• 3.2.1 IMA系統(tǒng)調(diào)度模型特征28-29
• 3.2.2 IMA系統(tǒng)的MAST-2 模型描述29-32
• 3.2.3 IMA系統(tǒng)可調(diào)度性驗證框架32-33
• 3.3 本章小結(jié)33-34
• 第四章 IMA系統(tǒng)資源分配建模及優(yōu)化34-44
• 4.1 IMA系統(tǒng)硬件資源分配34-35
• 4.2 IMA系統(tǒng)軟件資源分配35-36
• 4.3 IMA系統(tǒng)資源分配及約束建模36-41
• 4.3.1 硬件資源分配及約束建模36-38
• 4.3.2 軟件資源分配及約束建模38-41
• 4.4 IMA系統(tǒng)資源分配優(yōu)化41-43
• 4.4.1 構(gòu)建目標(biāo)函數(shù)41-42
• 4.4.2 多目標(biāo)優(yōu)化算法優(yōu)化42-43
• 4.5 本章小結(jié)43-44
• 第五章 IMA系統(tǒng)資源配置驗證工具設(shè)計與實例分析44-65
• 5.1 IMA資源配置驗證工具設(shè)計44-47
• 5.1.1 功能需求分析44-45
• 5.1.2 工具設(shè)計框架45-46
• 5.1.3 工具執(zhí)行流程46-47
• 5.2 IMA資源配置驗證工具實現(xiàn)47-52
• 5.2.1 工具平臺架構(gòu)47-49
• 5.2.2 獲取配置需求49-50
• 5.2.3 構(gòu)建拓?fù)浣Y(jié)構(gòu)50-51
• 5.2.4 實現(xiàn)資源配置51
• 5.2.5 時間資源配置驗證51-52
• 5.3 IMA系統(tǒng)時間資源配置驗證及優(yōu)化實例分析52-63
• 5.3.1 IMA系統(tǒng)資源配置工具使用實例53-57
• 5.3.2 IMA系統(tǒng)時間資源配置正確性驗證實例57-59
• 5.3.3 IMA系統(tǒng)資源分配優(yōu)化實例59-63
• 5.4 本章小結(jié)63-65
• 第六章 總結(jié)與展望65-67
• 6.1 論文總結(jié)65
• 6.2 未來工作展望65-67
• 參考文獻(xiàn)67-72
• 致謝72-73
• 在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文73

【相似文獻(xiàn)】

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

1 陳燕;邱衛(wèi)東;杜玄;彭澄廉;;嵌入式系統(tǒng)模型驅(qū)動設(shè)計方法[J];計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報;2006年02期

2 吳一帆;張毅玲;周世安;;模型驅(qū)動的嵌入式系統(tǒng)設(shè)計[J];空間控制技術(shù)與應(yīng)用;2008年01期

3 錢鵬飛,張申生;異構(gòu)業(yè)務(wù)領(lǐng)域模型驅(qū)動的資源集成[J];南京理工大學(xué)學(xué)報(自然科學(xué)版);2005年04期

4 曾蘊(yùn)波;周競濤;范海濤;;模型驅(qū)動的衛(wèi)星產(chǎn)品變更范圍提取技術(shù)[J];計算機(jī)工程與應(yīng)用;2013年10期

5 李海峰,吳慧中;元模型驅(qū)動的產(chǎn)品生命周期管理系統(tǒng)的設(shè)計與實現(xiàn)[J];計算機(jī)集成制造系統(tǒng);2005年07期

6 黃江偉;胡威;項凌翔;陳天洲;;基于電池模型驅(qū)動的軟硬件低功耗設(shè)計[J];浙江大學(xué)學(xué)報(工學(xué)版);2009年12期

7 呂瑞峰;王剛;問曉先;徐曉飛;;基于模型驅(qū)動框架的計算無關(guān)層過程建模[J];計算機(jī)集成制造系統(tǒng);2008年05期

8 黃隴;郭玉福;吳際;金茂忠;;基于JUnit和元模型的模型存儲測試設(shè)計與實現(xiàn)[J];北京航空航天大學(xué)學(xué)報;2007年04期

9 楊玉成;潘明罕;樂斌;王念偉;;模型驅(qū)動設(shè)計方法在顯控系統(tǒng)軟件中的應(yīng)用[J];航空電子技術(shù);2011年03期

10 劉英博;徐云龍;張力;;基于多層次模型的MRO系統(tǒng)建模[J];計算機(jī)集成制造系統(tǒng);2010年10期

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

1 張媛媛;高琴;;模型驅(qū)動體系綜述[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國科協(xié)年會論文集（一）[C];2007年

2 譚文安;盧忠亞;楊峗;楊付軍;;基于模型驅(qū)動的企業(yè)過程協(xié)同運作技術(shù)及其環(huán)境[A];第四屆中國軟件工程大會論文集[C];2007年

3 諶菲;曹萬華;黃志剛;;艦載作戰(zhàn)指揮系統(tǒng)模型驅(qū)動軟件開發(fā)技術(shù)研究[A];中國造船工程學(xué)會電子技術(shù)學(xué)術(shù)委員會2006學(xué)術(shù)年會論文集（上冊）[C];2006年

4 楊克巍;劉燦;熊健;姜江;譚躍進(jìn);;模型驅(qū)動的體系級任務(wù)結(jié)構(gòu)矩陣設(shè)計及優(yōu)化方法[A];中國系統(tǒng)工程學(xué)會第十八屆學(xué)術(shù)年會論文集——A05系統(tǒng)工程理論應(yīng)用與創(chuàng)新[C];2014年

5 牛彥杰;王智學(xué);胡博;;基于模型驅(qū)動的指揮信息系統(tǒng)服務(wù)設(shè)計方法[A];社會經(jīng)濟(jì)發(fā)展轉(zhuǎn)型與系統(tǒng)工程——中國系統(tǒng)工程學(xué)會第17屆學(xué)術(shù)年會論文集[C];2012年

6 王學(xué)斌;陳翔;吳泉源;;基于模型驅(qū)動結(jié)構(gòu)的電子商務(wù)開發(fā)平臺設(shè)計與實現(xiàn)[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2004年

7 魏新;廖聞劍;;J2EE中的基于JWAY模型驅(qū)動的框架[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

8 宗建建;王峰;施寅生;;UML測試剖面技術(shù)研究與進(jìn)展[A];第十四屆全國容錯計算學(xué)術(shù)會議(CFTC'2011)論文集[C];2011年

9 季一木;王汝傳;;網(wǎng)格計算平臺Gbuilder中模型驅(qū)動軟件方法的研究[A];2005年全國理論計算機(jī)科學(xué)學(xué)術(shù)年會論文集[C];2005年

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

1 ;靈活訪問模型驅(qū)動的服務(wù)[N];網(wǎng)絡(luò)世界;2007年

2 Wayne Meikle 李雪;模型驅(qū)動降低金融信息服務(wù)風(fēng)險[N];中國計算機(jī)報;2008年

3 易水;模型驅(qū)動的體系結(jié)構(gòu)(2)[N];計算機(jī)世界;2006年

4 易水;模型驅(qū)動的體系結(jié)構(gòu)(1)[N];計算機(jī)世界;2006年

5 劉江寧;實現(xiàn)信息孤島集成[N];中國計算機(jī)報;2003年

6 劉濤;Accenture投資4.5億美元發(fā)展SOA[N];電腦商報;2006年

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

1 喬秀全;模型驅(qū)動的業(yè)務(wù)生成方法及業(yè)務(wù)智能化支撐技術(shù)研究[D];北京郵電大學(xué);2007年

2 徐偉;模型驅(qū)動的城軌列車車載控制系統(tǒng)軟件評估體系[D];中國鐵道科學(xué)研究院;2014年

3 張俊;特征模型驅(qū)動的軟件開發(fā)方法及相關(guān)技術(shù)研究[D];吉林大學(xué);2010年

4 車穎;計算無關(guān)模型驅(qū)動的ERP系統(tǒng)重構(gòu)關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2011年

5 陳文智;Pcanel——基于模型驅(qū)動的嵌入式系統(tǒng)設(shè)計平臺[D];浙江大學(xué);2005年

6 何可;威脅模型驅(qū)動的軟件安全評估與測試方法的研究[D];天津大學(xué);2010年

7 楊國青;基于模型驅(qū)動的汽車電子軟件開發(fā)方法研究[D];浙江大學(xué);2006年

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

1 王曉偉;基于模型驅(qū)動的帶式輸送機(jī)變頻調(diào)速控制系統(tǒng)[D];山西大學(xué);2015年

2 李吉昆;基于模塊驅(qū)動的自動文檔生成器的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2014年

3 沈霞;基于模型驅(qū)動PID控制的300MW循環(huán)流化床機(jī)組負(fù)荷協(xié)調(diào)控制系統(tǒng)的研究[D];山西大學(xué);2014年

4 孫經(jīng)偉;基于模型驅(qū)動的計算機(jī)聯(lián)鎖軟件開發(fā)方法的研究與實現(xiàn)[D];合肥工業(yè)大學(xué);2014年

5 劉雪;模型驅(qū)動的嵌入式系統(tǒng)設(shè)計安全性驗證方法研究[D];南京航空航天大學(xué);2015年

6 程楨;模型驅(qū)動的IMA系統(tǒng)資源配置分析與驗證及優(yōu)化方法研究[D];南京航空航天大學(xué);2016年

7 張瀟;基于模型驅(qū)動的IMA資源安全分配與驗證方法研究[D];南京航空航天大學(xué);2016年

8 張衡;基于模型驅(qū)動的平臺開發(fā)研究與實現(xiàn)[D];長春理工大學(xué);2013年

9 方乃釵;基于模型驅(qū)動的管理信息系統(tǒng)開發(fā)平臺研究[D];南京航空航天大學(xué);2009年

10 陳yN祺;模型驅(qū)動的信息系統(tǒng)開發(fā)[D];東南大學(xué);2004年

，

本文編號：912903