隨著經(jīng)濟(jì)社會(huì)飛速發(fā)展,嵌入式軟件需求越來越大,人們對嵌入式軟件的功能要求也越來越高,再加上行業(yè)之間競爭不斷加劇,以及新技術(shù)的不斷涌現(xiàn),這使得傳統(tǒng)以編程語言為中心的嵌入式軟件開發(fā)模式不能滿足嵌入式產(chǎn)業(yè)發(fā)展的需要。這種以編程語言為中心的嵌入式軟件開發(fā)方式要求軟件開發(fā)人員在了解軟件具體細(xì)節(jié)的基礎(chǔ)之上,必須編寫大量的程序代碼,這不但耗費(fèi)大量的精力,而且往往會(huì)造成人為的錯(cuò)誤,有些時(shí)候編寫代碼成了重復(fù)性的體力勞動(dòng)。代碼自動(dòng)生成技術(shù)承擔(dān)了軟件開發(fā)過程中的代碼編寫任務(wù),它使得軟件開發(fā)者從繁瑣的代碼編寫任務(wù)中解脫出來,把更多的精力投入到軟件開發(fā)的其它研究上。自動(dòng)代碼生成技術(shù)體現(xiàn)了MDA (Model Driven Architecture)思想,它是一種從模型到可執(zhí)行代碼的自動(dòng)轉(zhuǎn)換機(jī)制,它把軟件開發(fā)提升到更高一級的抽象級別——模型級別,最終達(dá)到分離業(yè)務(wù)邏輯和具體實(shí)現(xiàn)平臺(tái)的目的,保護(hù)已經(jīng)建立的“業(yè)務(wù)邏輯”安然無恙,避免了“平臺(tái)易變性”的風(fēng)險(xiǎn)。本論文是以DeltaOS嵌入式操作系統(tǒng)為目標(biāo)平臺(tái),對AADL(Architecture Analysis & Design Language)行為附件模型到D... 

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

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

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題研究的背景及意義
    1.2 AADL行為附件
    1.3 國內(nèi)外關(guān)于AADL模型到代碼的自動(dòng)生成研究狀況
    1.4 本文論文研究的意義與主要內(nèi)容
第2章 基于模型編程MDA
    2.1 傳統(tǒng)軟件開發(fā)方法
    2.2 傳統(tǒng)軟件開發(fā)方法的缺陷
    2.3 MDA基本思想
    2.4 模型驅(qū)動(dòng)開發(fā)方式的優(yōu)點(diǎn)
    2.5 本章小結(jié)
第3章 代碼自動(dòng)生成器設(shè)計(jì)
    3.1 代碼自動(dòng)生成器功能模塊
    3.2 代碼自動(dòng)生成器運(yùn)行流程
    3.3 代碼自動(dòng)生成器設(shè)計(jì)原理
    3.4 本章小結(jié)
第4章 基于DeltaOS的AADL行為附件到c映射規(guī)則
    4.1 目標(biāo)平臺(tái)簡介
    4.2 AADL行為附件到DeltaOS c映射規(guī)則研究
        4.2.1 周期性線程組件轉(zhuǎn)換規(guī)則
        4.2.2 子程序轉(zhuǎn)換規(guī)則
        4.2.3 行為附件數(shù)據(jù)轉(zhuǎn)換規(guī)則
        4.2.4 行為附件語義轉(zhuǎn)換規(guī)則
    4.3 本章小結(jié)
第5章 代碼自動(dòng)生成器實(shí)現(xiàn)
    5.1 模型到交互類對象轉(zhuǎn)換
        5.1.1 模型信息提取
        5.1.2 相關(guān)數(shù)據(jù)結(jié)構(gòu)和接口設(shè)計(jì)
        5.1.3 Dom4j解析XML文檔工作原理
    5.2 交互類對象集合到DeltaOS c轉(zhuǎn)換
        5.2.1 規(guī)則引擎工作原理
        5.2.2 Drools規(guī)則引擎
        5.2.3 Drools規(guī)則引擎在代碼轉(zhuǎn)換系統(tǒng)中的應(yīng)用
    5.3 本章小結(jié)
第6章 代碼自動(dòng)生成器與lambdMDE平臺(tái)的集成
    6.1 LambdaMDE簡介
    6.2 工具使用
    6.3 本章小結(jié)
總結(jié)與展望
致謝
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表論文及其科研成果


【參考文獻(xiàn)】：
期刊論文
[1]模型驅(qū)動(dòng)的實(shí)時(shí)嵌入式系統(tǒng)結(jié)構(gòu)設(shè)計(jì)與屬性分析[J]. 楊楠,黎鵬,萬明.  計(jì)算機(jī)與現(xiàn)代化. 2008(12)
[2]一個(gè)支持模型驅(qū)動(dòng)開發(fā)的元建模平臺(tái)的研制[J]. 麻志毅,劉輝,何嘯,張樂,吉喆,戈牧.  電子學(xué)報(bào). 2008(04)
[3]基于模型驅(qū)動(dòng)架構(gòu)的軟件開發(fā)模式研究[J]. 薛振偉,吳志杰,楊德成.  兵工自動(dòng)化. 2007(05)
[4]代碼生成技術(shù)在MDA中的實(shí)現(xiàn)[J]. 陳翔,王學(xué)斌,吳泉源.  計(jì)算機(jī)應(yīng)用研究. 2006(01)
[5]嵌入式軟件建模、實(shí)現(xiàn)與驗(yàn)證:研究與進(jìn)展[J]. 胡軍,張巖,于笑豐,王林章,李宣東,鄭國梁.  計(jì)算機(jī)科學(xué). 2005(12)
[6]基于DeltaOS的系統(tǒng)軟件設(shè)計(jì)[J]. 張?zhí)N玉,唐祖平,胡修林.  微計(jì)算機(jī)信息. 2005(13)
[7]軟件非功能屬性研究[J]. 楊放春,龍湘明.  北京郵電大學(xué)學(xué)報(bào). 2004(03)
[8]基于UML的集成化軟件開發(fā)環(huán)境的研究與實(shí)現(xiàn)[J]. 田麗從,張莉,周伯生.  北京航空航天大學(xué)學(xué)報(bào). 2003(10)
[9]一種改進(jìn)的區(qū)域自動(dòng)機(jī)構(gòu)造方法[J]. 宋煌,莊雷,蘇錦祥,周清雷.  計(jì)算機(jī)研究與發(fā)展. 2002(05)
[10]基于UML的CASE平臺(tái)的代碼自動(dòng)生成[J]. 劉然,陳英,趙小林.  北京理工大學(xué)學(xué)報(bào). 2002(02)

碩士論文
[1]基于體系結(jié)構(gòu)分析設(shè)計(jì)語言的建模工具應(yīng)用研究[D]. 劉雪琴.電子科技大學(xué) 2009
[2]基于時(shí)間自動(dòng)機(jī)的實(shí)時(shí)系統(tǒng)形式化建模與驗(yàn)證[D]. 許丹.蘇州大學(xué) 2007
[3]基于Eclipse的嵌入式開發(fā)平臺(tái)的研究與實(shí)現(xiàn)[D]. 車叔平.電子科技大學(xué) 2007
[4]基于模型驅(qū)動(dòng)架構(gòu)的軟件生成技術(shù)研究[D]. 王建光.太原理工大學(xué) 2007
[5]基于時(shí)間自動(dòng)機(jī)的模型驗(yàn)證理論及應(yīng)用研究[D]. 王靜.鄭州大學(xué) 2005
[6]關(guān)于時(shí)間自動(dòng)機(jī)及其構(gòu)造區(qū)域自動(dòng)機(jī)的算法[D]. 宋煌.鄭州大學(xué) 2001



本文編號：2929194