AADL（Architecture Analysis & Design Language）;是一種字符化和圖形化的語言,主要用于對嵌入式系統(tǒng)進行建模。MDA（Model Driven Architecture）是OMG（Object ManagementGroup）大力提倡的一種模型開發(fā)過程。它的主要思想是用戶建立平臺無關(guān)模型PIM（Platform Independent Model）,結(jié)合具體平臺信息生成平臺相關(guān)模型PSM （Platform Specific Model）,然后再生成代碼Code。如何在MDA開發(fā)過程中使用AADL,對嵌入式系統(tǒng)進行建模,是本文研究的主要內(nèi)容。文章分成三個部分進行重點研究。首先,分析了AADL在嵌入式領(lǐng)域建模方面的優(yōu)越性。為了使用流行的UML工具建立AADL模型,本文提出了UML模型與AADL模型轉(zhuǎn)換的方法,即在Eclipse建�？蚣蹺MF（Eclipse Modeling Framework）基礎(chǔ)上,借助ATL （Atlas Transformation Language）模型轉(zhuǎn)換工具,制定UML+MARTE （UML Profile f... 

【文章來源】：西南交通大學四川省 211工程院校 教育部直屬院校

【文章頁數(shù)】：67 頁

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 論文背景
        1.1.1 模型驅(qū)動開發(fā)
        1.1.2 嵌入式實時計算
    1.2 論文研究內(nèi)容
        1.2.1 本文研究內(nèi)容
        1.2.2 國內(nèi)外研究現(xiàn)狀
    1.3 論文結(jié)構(gòu)安排
第2章 MDA與AADL
    2.1 MDA綜述
        2.1.1 MDA的思想
        2.1.2 MDA的實現(xiàn)
        2.1.3 MDA的現(xiàn)狀
    2.2 AADL綜述
        2.2.1 AADL產(chǎn)生背景
        2.2.2 AADL組件
        2.2.3 AADL工具集
    2.3 小結(jié)
第3章 AADL模型與UML模型的轉(zhuǎn)換
    3.1 UML與MARTE
        3.1.1 UML與Profile
        3.1.2 MARTE
    3.2 模型轉(zhuǎn)換
        3.2.1 ATL轉(zhuǎn)換方法
        3.2.2 AADL與UML轉(zhuǎn)換方法
    3.3 小結(jié)
第4章 AADL模型調(diào)度仿真工具的設(shè)計
    4.1 概述
        4.1.1 AADL模型分析
        4.1.2 常見分析工具
    4.2 基于AADL模型的調(diào)度仿真分析
        4.2.1 數(shù)據(jù)采集模塊
        4.2.2 事件產(chǎn)生模塊
        4.2.3 調(diào)度分析模塊
        4.2.4 仿真界面模塊
    4.3 工作展望
    4.4 小結(jié)
第5章 AADL模型到LINUX平臺C代碼的轉(zhuǎn)換
    5.1 概述
    5.2 代碼轉(zhuǎn)換過程
        5.2.1 代碼轉(zhuǎn)換介紹
        5.2.2 代碼轉(zhuǎn)換規(guī)則
    5.3 代碼轉(zhuǎn)換集成環(huán)境
        5.3.1 項目的建立
        5.3.2 交叉編譯工具
        5.3.3 項目構(gòu)建
        5.3.4 項目調(diào)試
    5.4 小結(jié)
結(jié)論
致謝
參考文獻
攻讀碩士學位期間完成與發(fā)表的論文、著作及科研成果


【參考文獻】：
期刊論文
[1]基于MDA的設(shè)計模式建模與模型轉(zhuǎn)換[J]. 張?zhí)?張巖,于笑豐,王林章,李宣東.  軟件學報. 2008(09)
[2]基于EMF和OCL的MDA軟件工程方法研究[J]. 常浩浩,覃征.  計算機科學. 2007(01)
[3]一種基于動作語義的UML1.X-2.0模型轉(zhuǎn)換方法（英文）[J]. 陳秀紅,何克清,何璐璐.  軟件學報. 2006(08)
[4]模型驅(qū)動的嵌入式系統(tǒng)設(shè)計與性能優(yōu)化[J]. 欒靜,顧君忠.  計算機工程與應用. 2006(14)
[5]代碼生成技術(shù)在MDA中的實現(xiàn)[J]. 陳翔,王學斌,吳泉源.  計算機應用研究. 2006(01)
[6]基于UML的集成化軟件開發(fā)環(huán)境的研究與實現(xiàn)[J]. 田麗從,張莉,周伯生.  北京航空航天大學學報. 2003(10)
[7]基于UML的CASE平臺的代碼自動生成[J]. 劉然,陳英,趙小林.  北京理工大學學報. 2002(02)



本文編號：3017095