本文關鍵詞：基于AADL的微發(fā)控制器程序自動生成和驗證

  更多相關文章： MTE MDD AADL PloyORB-HI 代碼自動生成 模型

【摘要】：隨著微型渦噴發(fā)動機(MTE)控制系統(tǒng)的發(fā)展,縮短軟件開發(fā)時間、節(jié)省軟件開發(fā)成本、保證系統(tǒng)魯棒性等需求越來越不容忽視,因此尋求一種更簡捷更可靠的開發(fā)方法成為大勢所趨。模型驅(qū)動開發(fā)方法(MDD)是一種基于更高層次的抽象模型進行軟件開發(fā)的方法,以建模和模型轉換作為開發(fā)的主要途徑。本文采用模型驅(qū)動開發(fā)方法進行微發(fā)電子控制器程序設計。在系統(tǒng)需求分析的基礎上,采用體系結構分析與設計語言AADL設計MTE控制系統(tǒng)體系結構模型。將系統(tǒng)中的硬件、軟件組成元素建模為相應類型組件,通過組件連接/綁定、子程序調(diào)用建立組件之間聯(lián)系,使用行為附件庫擴展AADL的語法和語義,在OSATE2開發(fā)環(huán)境中建立完整的MTE控制系統(tǒng)模型。使用Analysis插件進行驗證和調(diào)度分析表明,控制系統(tǒng)模型符合AADL結構規(guī)范,其調(diào)度策略合理,滿足實時性要求。將uC/OS-III操作系統(tǒng)內(nèi)核移植到STM32F103VE處理器,為控制器代碼自動生成提供基礎。采用兩種方法進行控制器代碼自動生成。其一,研究AADL到uC/OS-III平臺的C代碼轉換規(guī)則,自行設計模型轉換程序,實現(xiàn)簡易AADL模型到控制器C代碼的轉換,驗證了方法的可行性。其二,采用Ocarina工具套件自動生成中間件(PloyORB-HI)代碼。由于PloyORB-HI中間件不支持uC/OS-III操作系統(tǒng),因此首先對PloyORB-HI中間件進行移植。對生成的代碼進行后處理,使之成為完整的控制程序。建立MTE的數(shù)學擬合起動模型和部件級慢車以上模型,對生成的控制程序進行數(shù)字仿真和實物在回路仿真驗證。在此基礎上,進一步開展臺架試驗。仿真和臺架試驗結果表明控制程序能夠?qū)TE進行有效控制。
【關鍵詞】：MTE MDD AADL PloyORB-HI 代碼自動生成 模型
【學位授予單位】：南京航空航天大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：V233.7
【目錄】：

• 摘要4-5
• ABSTRACT5-10
• 注釋表10-11
• 縮略詞11-13
• 第一章 緒論13-20
• 1.1 研究背景及意義13-15
• 1.1.1 研究背景13-14
• 1.1.2 研究意義14-15
• 1.2 國內(nèi)外研究現(xiàn)狀15-18
• 1.3 論文的結構安排18-20
• 第二章 MTE嵌入式控制系統(tǒng)建模20-38
• 2.1 AADL概述20-24
• 2.1.1 AADL組件介紹21-23
• 2.1.2 AADL模型設計方法23-24
• 2.2 需求分析24-28
• 2.2.1 MTE控制系統(tǒng)組成24-25
• 2.2.2 MTE控制器硬件25-26
• 2.2.3 MTE控制器軟件26-28
• 2.3 控制系統(tǒng)建模28-37
• 2.3.1 MTE模型硬件組件28-29
• 2.3.2 MTE控制軟件模型細分29-33
• 2.3.3 MTE頂層模型33-35
• 2.3.4 物理連接及軟件對硬件的綁定35
• 2.3.5 模型驗證與分析35-37
• 2.4 小結37-38
• 第三章 基于AADL的MTE控制器程序生成38-58
• 3.1 UC/OS-III內(nèi)核移植38-44
• 3.1.1 Cortex-M3處理器39-41
• 3.1.2 uC/OS-III內(nèi)核移植41-44
• 3.2 模型轉換方法研究44-50
• 3.2.1 AADL組件轉換規(guī)則44-49
• 3.2.2 程序設計和驗證49-50
• 3.3 基于OCARINA的代碼自動生成50-55
• 3.3.1 PolyORB中間件及移植50-54
• 3.3.2 控制器程序生成54-55
• 3.4 MTE控制器程序后處理55-57
• 3.5 小結57-58
• 第四章 MTE控制器程序驗證58-76
• 4.1 微型渦噴發(fā)動機數(shù)學建模58-70
• 4.1.1 MTE起動模型59-60
• 4.1.2 MTE慢車以上的氣動熱力過程60-62
• 4.1.3 MTE慢車以上過程部件級建模62-68
• 4.1.4 數(shù)字仿真驗證68-70
• 4.2 實物在回路仿真試驗70-72
• 4.3 臺架試驗72-75
• 4.3.1 微發(fā)試車臺架72-73
• 4.3.2 臺架試驗結果73-75
• 4.4 小結75-76
• 第五章 總結與展望76-78
• 5.1 本文的主要研究成果76
• 5.2 展望76-78
• 參考文獻78-82
• 致謝82-83
• 在學期間的研究成果及發(fā)表的學術論文83

【參考文獻】

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

1 方運惠;童軍杰;馬曉茜;;一維絕熱等熵微噴管分析與計算[J];四川兵工學報;2015年04期

2 鄭洪濤;潘福敏;楊仁;;基于面向?qū)ο蠓椒ǖ膲簹鈾C性能計算[J];航空動力學報;2014年01期

3 孫為軍;李師賢;嚴玉清;;模型驅(qū)動開發(fā)中模型演化語法和語義特性研究[J];計算機科學;2012年07期

4 朱江;張茂林;;AADL構件到RTLinux平臺C代碼的轉換方法研究[J];計算機應用研究;2011年12期

5 陶勇;桂盛霖;馬亮;尹立孟;;AADL模型的代碼自動生成及集成技術[J];計算機工程;2009年08期

6 張?zhí)旌?李秋華;;微型渦噴發(fā)動機自適應控制實驗研究[J];航空動力學報;2007年03期

7 張?zhí)旌?黃向華;曹謙;;微型渦輪發(fā)動機控制系統(tǒng)仿真及臺架試驗[J];推進技術;2006年05期

8 江俊輝;基于ARM的嵌入式系統(tǒng)硬件設計[J];微計算機信息;2005年10期

9 皮星,鄧文革;某微型渦噴發(fā)動機數(shù)控系統(tǒng)研制[J];燃氣渦輪試驗與研究;2003年04期

10 孫健國;面向21世紀航空動力控制展望[J];航空動力學報;2001年02期

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

1 周文祥;航空發(fā)動機及控制系統(tǒng)建模與面向?qū)ο蟮姆抡嫜芯縖D];南京航空航天大學;2006年

2 余勇;超燃沖壓發(fā)動機燃燒室工作過程理論和試驗研究[D];國防科學技術大學;2004年

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

1 楊陽;基于AADL的車用嵌入式實時系統(tǒng)建模方法研究[D];湖南大學;2012年

2 姚冬;模型驅(qū)動開發(fā)在軟件系統(tǒng)中的應用與研究[D];北京郵電大學;2012年

3 陳永紅;基于DeltaOS的AADL行為附件模型到C轉換及其應用[D];西南交通大學;2010年

4 肖偉;某型渦扇發(fā)動機實時建模與仿真研究[D];南京航空航天大學;2008年

5 薛勃;32位MIPS處理器研究及其軟硬件建模[D];上海交通大學;2007年

6 蔡真;微型發(fā)動機結構及動力學建模分析[D];南京航空航天大學;2007年

7 李秋華;微型渦噴發(fā)動機先進控制算法研究[D];南京航空航天大學;2007年

8 張順利;燃氣輪機燃燒室燃燒流場的數(shù)值模擬[D];哈爾濱工程大學;2005年

9 卓剛;航空發(fā)動機智能建模與故障診斷研究[D];南京航空航天大學;2004年

，

本文編號：952318