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

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

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

【學位級別】：碩士

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


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

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



本文編號：2929194