隨著當今實時嵌入式應(yīng)用的迅速發(fā)展,快速高效地開發(fā)出適合市場需要的高質(zhì)量軟件已經(jīng)成為一個實時嵌入式產(chǎn)品能否成功的重要條件。基于構(gòu)件的軟件工程及軟件開發(fā)（CBSE/CBSD）已在通用系統(tǒng)開發(fā)中大量應(yīng)用并占據(jù)重要地位,而由于實時嵌入式系統(tǒng)的復(fù)雜特性及特殊應(yīng)用使CBSE/CBSD在該領(lǐng)域的應(yīng)用還尚未成熟。目前的一些應(yīng)用于實時嵌入式領(lǐng)域的構(gòu)件模型雖對CBSE/CBSE開發(fā)提出了有效的解決方案,但大多局限于具體領(lǐng)域及特定平臺,大多缺乏對實時行為及時間性的開放描述,并在構(gòu)件可復(fù)用性方面仍不完善,難以做到開放性、普適性及把CBSE/CBSD思想貫穿在整個開發(fā)周期中。鑒于以上現(xiàn)狀,本文基于軟件工程學(xué)理論進行實時嵌入式系統(tǒng)開發(fā)的可重用技術(shù)研究,以研究構(gòu)件組裝機制與組裝方法為核心,基于構(gòu)件技術(shù)與形式化技術(shù)提出了一種具有較好普適性并能夠準確描述實時嵌入式系統(tǒng)功能及非功能特性、行為及時間性的抽象軟件構(gòu)件模型——ESDCM。該模型給出了一套可行的模型描述理論體系,定義了形式規(guī)約機制,支持圖形化構(gòu)件組裝建模設(shè)計并使用基于規(guī)約推導(dǎo)的方法完成構(gòu)件的組裝。本文首先介紹實時嵌入式軟件構(gòu)件技術(shù)及相關(guān)形式化技術(shù),提出ESDCM... 

【文章來源】：昆明理工大學(xué)云南省

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

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

【文章目錄】：
摘要
Abstract
目錄
第一章 緒論
    1.1 課題背景
    1.2 國內(nèi)外相關(guān)課題研究狀況
    1.3 課題內(nèi)容
    1.4 本文組織結(jié)構(gòu)
    1.5 設(shè)計的技術(shù)路線
    1.6 完成此課題的意義
    1.7 本章小結(jié)
第二章 實時嵌入式軟件構(gòu)件開發(fā)及相關(guān)技術(shù)
    2.1 實時嵌入式系統(tǒng)的特點
    2.2 軟件復(fù)用技術(shù)
    2.3 基于構(gòu)件的軟件開發(fā)技術(shù)
        2.3.1 軟件構(gòu)件的概念
        2.3.2 形式化方法在構(gòu)件技術(shù)中的應(yīng)用
        2.3.3 實時嵌入式軟構(gòu)件的特征
    2.4 ESDCM構(gòu)件模型概述
    2.5 課題相關(guān)形式化描述語言概述
        2.5.1 Wright描述語言
        2.5.2 Wright語言的行為描述機制
            2.5.2.1 通訊順序進程（CSP）
            2.5.2.2 TCSP語言
    2.6 本章小結(jié)
第三章 ESDCM構(gòu)件模型
    3.1 ESDCM構(gòu)件模型概念
    3.2 ESDCM構(gòu)件模型元素
    3.3 ESDCM構(gòu)件模型規(guī)約機制
    3.4 ESDCM構(gòu)件模型接口規(guī)約
        3.4.1 E構(gòu)件功能性接口規(guī)約
        3.4.2 E構(gòu)件非功能性接口規(guī)約
            3.4.2.1 配置接口規(guī)約
            3.4.2.2 狀態(tài)接口規(guī)約
    3.5 本章小結(jié)
第四章 E構(gòu)件組裝機制及組裝規(guī)約
    4.1 E構(gòu)件連接方式
    4.2 E構(gòu)件基本組裝方法
    4.3 使用組裝模式的組裝方法
    4.4 E構(gòu)件組裝規(guī)約
    4.5 本章小結(jié)
第五章 E構(gòu)件行為描述及行為組裝推導(dǎo)
    5.1 E構(gòu)件非實時行為描述
    5.2 E構(gòu)件實時行為描述
    5.3 E構(gòu)件進程變換方法
    5.4 E構(gòu)件的行為組裝推導(dǎo)
    5.5 本章小結(jié)
第六章 E構(gòu)件時間性描述及時間組裝推導(dǎo)
    6.1 E構(gòu)件時間規(guī)約描述定義
    6.2 E構(gòu)件時間規(guī)約描述語法
    6.3 E構(gòu)件時間屬性的配置方法
    6.4 E構(gòu)件時間屬性的組裝推導(dǎo)
        6.4.1 E構(gòu)件時間屬性的組裝推導(dǎo)原則
        6.4.2 E構(gòu)件執(zhí)行時間的組裝推導(dǎo)方法
    6.5 E構(gòu)件時間約束描述方法
    6.6 本章小結(jié)
第七章 基于ESDCM構(gòu)件模型的實時嵌入式系統(tǒng)開發(fā)實例
    7.1 E構(gòu)件組裝開發(fā)策略
    7.2 實時嵌入式系統(tǒng)開發(fā)實例
        7.2.1 GAMS系統(tǒng)簡介
        7.2.2 GAMS系統(tǒng)組成構(gòu)件的擬定
        7.2.3 GAMS系統(tǒng)組裝構(gòu)件的確定
            7.2.3.1 接口規(guī)約分析
            7.2.3.2 GAMS系統(tǒng)實際組成構(gòu)件
        7.2.4 GAMS系統(tǒng)的構(gòu)件組裝
            7.2.4.1 第一次組裝
            7.2.4.2 第二次組裝
            7.2.4.3 第三次組裝
    7.3 本章小結(jié)
第八章 總結(jié)與展望
    8.1 論文工作總結(jié)
    8.2 后續(xù)工作展望
致謝
參考文獻
附錄


【參考文獻】：
期刊論文
[1]工業(yè)嵌入式控制系統(tǒng)軟件構(gòu)件的設(shè)計[J]. 陳曉俠,陸坦,張曉艷.  計算機測量與控制. 2007(08)
[2]基于XML的構(gòu)件組裝平臺的設(shè)計與實現(xiàn)[J]. 何毅俊,徐楠,陳松喬.  計算機測量與控制. 2007(07)
[3]構(gòu)件適應(yīng)和組裝的形式化語義描述[J]. 謝兄,張維石.  計算機工程與應(yīng)用. 2007(21)
[4]實時系統(tǒng)構(gòu)件非功能性接口語義規(guī)約[J]. 劉曉燕,張云生,J-J.Schwarz,李俊昌.  計算機科學(xué). 2007(06)
[5]基于C/S關(guān)系的實時系統(tǒng)構(gòu)件交互規(guī)約[J]. 劉曉燕,張云生,J-J.Schwarz,李俊昌.  計算機工程與應(yīng)用. 2007(17)
[6]基于構(gòu)件的軟件體系結(jié)構(gòu)技術(shù)[J]. 沈楠.  科技信息. 2007(10)
[7]一種嵌入式軟件構(gòu)件模型和構(gòu)件庫[J]. 李濤,董云衛(wèi).  計算機科學(xué). 2006(11)
[8]Timed CSP在硬件高層設(shè)計中的應(yīng)用[J]. 崔小欣,于敦山,崔小樂,盛世敏.  計算機工程. 2006(07)
[9]基于軟件體系結(jié)構(gòu)連接器的構(gòu)件組裝技術(shù)研究[J]. 許峰,劉英,黃皓,王志堅.  計算機應(yīng)用. 2006(04)
[10]車用嵌入式開放系統(tǒng)的軟構(gòu)件研究[J]. 欒鑫穎,孫曉民.  計算機應(yīng)用研究. 2006(04)

碩士論文
[1]基于軟件體系結(jié)構(gòu)的構(gòu)件組裝技術(shù)研究[D]. 馬維綱.西安理工大學(xué) 2007
[2]形式化方法在基于構(gòu)件軟件重用中的應(yīng)用研究[D]. 朱建林.河北大學(xué) 2006
[3]基于XML和軟件體系結(jié)構(gòu)的構(gòu)件組裝技術(shù)的研究[D]. 甘國華.哈爾濱工程大學(xué) 2005



本文編號：3087133