可信嵌入式構(gòu)件的研究與應(yīng)用.pdf

1、最近幾年嵌入式系統(tǒng)領(lǐng)域飛速發(fā)展，并逐漸演變?yōu)樵朴嬎愫臀锫?lián)網(wǎng)產(chǎn)業(yè)的支柱。作為系統(tǒng)的靈魂，尤其是大型復(fù)雜系統(tǒng)的嵌入式軟件開發(fā)，已經(jīng)成為嵌入式領(lǐng)域競爭的核心。然而，針對不同行業(yè)應(yīng)用的嵌入式開發(fā)工作遇到的困難和瓶頸也越來越明顯，嵌入式應(yīng)用也日趨多樣化，特別是在醫(yī)療、航空航天、汽車、電子、電力能源等行業(yè)，如何提供更高效、最佳實踐的服務(wù)和行業(yè)解決方案已成為每一個嵌入式軟件工程開發(fā)者和開發(fā)團隊迫切需要解決的問題。
　　目前，基于構(gòu)件的軟件開發(fā)(

2、Component-Based Software Development，CBSD)技術(shù)已經(jīng)成熟，該方法在傳統(tǒng)的軟件開發(fā)中業(yè)已普遍使用，其優(yōu)越性在于提高了軟件開發(fā)效率，降低了軟件開發(fā)的費用，保證了構(gòu)件的質(zhì)量和靈活性。因此將CBSD方法合理的引入嵌入式軟件開發(fā)中將能夠很好滿足嵌入式領(lǐng)域的多樣性特點以及對開發(fā)效率和軟件質(zhì)量的要求，以及提高嵌入式領(lǐng)域知識的重用性。目前的嵌入式構(gòu)件模型，要么缺乏通用性，要么缺乏可信保障，要么沒有對非功能屬性進行

3、表述，存在或多或少的問題。
　　論文在該研究背景下，通過分析CBSD技術(shù)，研究通用構(gòu)件模型，根據(jù)嵌入式軟件的物理性、實時性、資源受限性、領(lǐng)域性、多樣性以及與硬件密切相關(guān)等特點，結(jié)合當前的相關(guān)研究，提出了一種嵌入式構(gòu)件模型DTESD構(gòu)件模型。
　　DTESD構(gòu)件模型針對當前嵌入式構(gòu)件模型存在的相關(guān)缺陷做了分析和研究，提出了相關(guān)彌補方案。DTESD構(gòu)件不僅具有普通構(gòu)件的特點，還具有嵌入式構(gòu)件的專有特性，如物理性、多樣性等等。本文