基于ET-LOTOS的嵌入軟構(gòu)件組裝研究.pdf

1、嵌入式系統(tǒng)已具有相當(dāng)長的歷史，最初在軍事、航空航天、工業(yè)過程控制等領(lǐng)域。從20世紀(jì)90年代中后期開始，計(jì)算機(jī)產(chǎn)業(yè)從PC時(shí)代來到了以普及計(jì)算(PervasiveComputing)和嵌入式系統(tǒng)為重要代表的后PC時(shí)代。 基于構(gòu)件的嵌入式軟件開發(fā)方法是一種把嵌入式軟構(gòu)件組裝成新系統(tǒng)的開發(fā)方法。嵌入式軟構(gòu)件的組裝技術(shù)是基于構(gòu)件的嵌入式軟件開發(fā)的核心技術(shù)，也是本文的主要研究內(nèi)容。因?yàn)榍度胧较到y(tǒng)經(jīng)常是一些高安全關(guān)鍵性系統(tǒng)，例如，軍事控制、航

2、天航空、醫(yī)療設(shè)備等等，所以在基于構(gòu)件的嵌入式軟件開發(fā)過程的系統(tǒng)分析和設(shè)計(jì)階段，我們經(jīng)常使用形式化方法來對嵌入式系統(tǒng)進(jìn)行建模和驗(yàn)證，但在底層構(gòu)件組裝實(shí)現(xiàn)時(shí)，卻丟棄了這種形式化模型，這就存在著形式化語言的高層抽象描述與嵌入軟構(gòu)件底層組裝實(shí)現(xiàn)之間的脫節(jié)問題。 為了解決這個(gè)問題，本文提出了一種嵌入軟構(gòu)件的組裝算法，并按照組裝算法初步開發(fā)了一個(gè)嵌入軟構(gòu)件組裝工具的原型。首先本文提出了一種形式化體系結(jié)構(gòu)語言ET-LOTOS描述的嵌入式軟件的

3、構(gòu)件和構(gòu)架模型；基于這種模型，提出了7種嵌入軟構(gòu)件的組裝關(guān)系(順序組裝、選擇組裝、并行組裝、中斷組裝、掛起/恢復(fù)組裝、重復(fù)組裝、連接件組裝)；然后對應(yīng)于7種組裝關(guān)系提出了7種組裝連接模板；接著提出了嵌入軟構(gòu)件組裝時(shí)構(gòu)件的非功能屬性度量公式；最后提出了一種嵌入軟構(gòu)件的組裝算法。 本文提出的嵌入軟構(gòu)件組裝算法，能解決形式化語言的高層抽象描述與嵌入軟構(gòu)件底層組裝實(shí)現(xiàn)之間的脫節(jié)問題；初步開發(fā)的嵌入軟構(gòu)件組裝工具的原型，使嵌入軟構(gòu)件組裝自