天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 科技論文 > 計算機論文 >

基于Rhapsody的嵌入式無人機飛控軟件系統(tǒng)建模及驗證

發(fā)布時間:2020-07-13 16:36
【摘要】:本課題的研究工作依托于“綜合系統(tǒng)頂層設(shè)計與數(shù)字仿真軟件包”項目,以某小型無人機飛行控制軟件系統(tǒng)為研究對象,使用的核心工具軟件是Rhapsody,重點研究了在該軟件為核心的開發(fā)平臺下如何進行UML模型驅(qū)動的飛行控制軟件系統(tǒng)開發(fā)及驗證。論文主要完成的工作包括以下幾個方面: 1.簡單地介紹課題的研究背景和國內(nèi)外的相關(guān)研究現(xiàn)狀,同時介紹課題的來源和研究意義。 2.簡單介紹模型驅(qū)動開發(fā)理論及UML建模語言,闡述基于UML的嵌入式軟件開發(fā)環(huán)境Rhapsody這個工具的層次結(jié)構(gòu);針對ArmLinux平臺上某小型無人機飛行控制系統(tǒng)的特定對象,構(gòu)建基于Rhapsody的飛控軟件開發(fā)平臺。 3.使用UML相關(guān)模型對飛行控制軟件系統(tǒng)進行需求分析及建模、建立整個飛控軟件系統(tǒng)的靜態(tài)結(jié)構(gòu)。其中包括用例圖描述的所有軟件系統(tǒng)功能性需求和約束注釋描述的非功能性需求,使用類對象圖描述的整個飛行控制軟件系統(tǒng)的靜態(tài)結(jié)構(gòu)。 4.使用UML相關(guān)模型對飛行控制軟件系統(tǒng)進行設(shè)計及建模,主要對需求分析階段產(chǎn)生的屬性和操作添加具體實現(xiàn)以及為靜態(tài)類圖建立狀態(tài)機。 5.研究Rhapsody內(nèi)置實時軟件框架OXF,分析實時框架中與實時相關(guān)的元素,分析和實現(xiàn)實時框架中的適配器,從而實現(xiàn)Rhapsody下模型與代碼自動轉(zhuǎn)換,并且實現(xiàn)不同平臺的跨越。 6.運用三種方式對飛控軟件進行驗證:(1)利用GMR方式進行語法和語義的檢測;(2)設(shè)計級調(diào)試,在設(shè)計過程中使用Animation模式調(diào)試模型;(3)將執(zhí)行機構(gòu)和無人機simulink模型導入Rhapsody,進行仿真驗證。
【學位授予單位】:南京航空航天大學
【學位級別】:碩士
【學位授予年份】:2011
【分類號】:TP368.1
【圖文】:

嵌入式軟件開發(fā)環(huán)境


基于UML的嵌入式軟件開發(fā)環(huán)境組成

視圖,視圖,面向?qū)ο蠹夹g(shù),語言


UML中的視圖

小型無人機,硬件平臺,飛行控制系統(tǒng),飛控系統(tǒng)


雜的控制算法來提高控制精度。飛控系統(tǒng)硬件平臺組成框圖如圖 2.4 所示。圖 2.4 中虛線左邊是地面站部分,虛線右邊是機載飛行控制系統(tǒng)硬件平臺部分。圖2.4 小型無人機飛控系統(tǒng)硬件平臺機載飛行控制系統(tǒng)硬件平臺是整個小型無人機的基礎(chǔ),它決定了小型無人機性能的穩(wěn)定性和可靠性。這是因為一方面它是飛行控制軟件的運行基礎(chǔ),負責采集飛行控制計算機外圍傳感器設(shè)備的數(shù)據(jù),反饋給上層飛行控制軟件;另一方面它還負責控制小型無人機的舵面偏轉(zhuǎn),穩(wěn)定小型無人機的姿態(tài),達到自主飛行的目的。此外,機載飛行控制系統(tǒng)硬件平臺還要實現(xiàn)與地面監(jiān)控站之間的無線數(shù)據(jù)通訊、圖像傳輸?shù)裙δ堋?.3.2 嵌入式 ArmLinux 交叉開發(fā)環(huán)境[11]由于嵌入式系統(tǒng)自身所具有的資源和內(nèi)存南間都十分有限,不可能像 PC 機那樣在其上運行所有的開發(fā)工具,而且很多嵌入式系統(tǒng)都沒有像顯示器那樣的輸出設(shè)備,這些都決定了嵌入式軟件開發(fā)應當采用一種特殊的模式:宿主-目標機的模式,使用交叉編譯開發(fā)的方式。如圖

【參考文獻】

相關(guān)期刊論文 前10條

1 左光,高曉峰;基于UML的實時框架的分析與應用[J];半導體技術(shù);2002年04期

2 張莉,葛科,王云,周伯生;UML 軟件開發(fā)過程和支持環(huán)境研究[J];北京航空航天大學學報;1998年04期

3 何先波;嵌入式軟件開發(fā)環(huán)境中操作系統(tǒng)抽象層的設(shè)計與實現(xiàn)[J];成都大學學報(自然科學版);2004年04期

4 孫強,張振華;使用Rhapsody軟件框架和UML的實時系統(tǒng)開發(fā)[J];單片機與嵌入式系統(tǒng)應用;2003年02期

5 林穗,李振坤,許建威;基于構(gòu)件的應用框架設(shè)計[J];廣東自動化與信息工程;2002年04期

6 韓改寧;李永鋒;;利用Rhapsody進行UML串口通信的設(shè)計與實現(xiàn)[J];航空計算技術(shù);2009年05期

7 王云,劉又誠,周伯生;UML可視化建模系統(tǒng)的模型一致性檢查機制[J];計算機研究與發(fā)展;2000年01期

8 尚海忠,朱培彥,王霞,徐家祥,陳涵生;操作系統(tǒng)抽象層—一種支持跨平臺的新技術(shù)[J];計算機工程;2002年02期

9 鮑國超,柳長安,蘆東昕;面向?qū)ο蟮牟僮飨到y(tǒng)抽象層和運行支撐層[J];計算機工程;2003年22期

10 董磊捚,侯宗浩,張慧娟;UML設(shè)計思想在固件系統(tǒng)開發(fā)中的應用[J];計算機應用;2005年12期

相關(guān)博士學位論文 前1條

1 陳燕;基于UML的嵌入式系統(tǒng)系統(tǒng)級設(shè)計方法研究[D];復旦大學;2005年

相關(guān)碩士學位論文 前10條

1 何火軍;基于Rhapsody的飛行控制系統(tǒng)數(shù)字化設(shè)計研究[D];南京航空航天大學;2010年

2 侯衍龍;基于UML的面向?qū)ο蠼<夹g(shù)及應用[D];南京航空航天大學;2002年

3 陳曉東;基于UML的電能量計量系統(tǒng)設(shè)計與實現(xiàn)研究[D];湖南大學;2003年

4 胡特;基于embedded UML的嵌入式軟件開發(fā)方法研究[D];武漢大學;2004年

5 文武紅;Rhapsody在柴油機電子控制上的應用研究[D];中北大學;2005年

6 王峗華;基于UML的模型驅(qū)動軟件開發(fā)應用與研究[D];中國科學院研究生院(空間科學與應用研究中心);2005年

7 李維民;基于UML的全自動膜片鉗軟件分析與設(shè)計[D];華中科技大學;2005年

8 閆效鶯;基于嵌入式Linux軟件平臺技術(shù)的研究[D];西北大學;2006年

9 劉紫嫣;基于UML的水下機器人運動控制系統(tǒng)研究[D];哈爾濱工程大學;2007年

10 張麗;基于Rhapsody的空調(diào)監(jiān)控儀的開發(fā)與研制[D];吉林大學;2008年



本文編號:2753707

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/2753707.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶6c58e***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com