嵌入式產(chǎn)品線中構(gòu)件模型的研究與實現(xiàn).pdf

1、近年來，隨著計算機(jī)硬件性能的不斷提高，嵌入式系統(tǒng)中軟件系統(tǒng)的規(guī)模和復(fù)雜性不斷增加，從而軟件對整個系統(tǒng)的影響逐漸占據(jù)了統(tǒng)治地位，嵌入式軟件已成為近幾年來人們研究的熱點。隨著嵌入式軟件的數(shù)量不斷增長，而其可變性的數(shù)量增長的更快。因此，嵌入式軟件領(lǐng)域中呈現(xiàn)出對軟件產(chǎn)品線的迫切需求，尤其是在軟件的規(guī)模和復(fù)雜度超過了傳統(tǒng)方法能夠控制的范圍時更是這樣。
　　基于構(gòu)件的設(shè)計方法學(xué)已逐漸成為現(xiàn)在軟件工程的主流，它通過復(fù)用和組合構(gòu)件來構(gòu)造系統(tǒng)，從而

2、可以提高系統(tǒng)開發(fā)效率和可靠性。嵌入式產(chǎn)品線中的嵌入式系統(tǒng)通常是由多個計算子系統(tǒng)構(gòu)成，其軟件系統(tǒng)具有較高的構(gòu)件化特征。因此，將CBSD引入到嵌入式產(chǎn)品線中能夠很好地滿足嵌入式領(lǐng)域多樣性的特點和對系統(tǒng)質(zhì)量、開發(fā)效率的要求。
　　本文以嵌入式軟件產(chǎn)品線為背景，以構(gòu)件化作為本文的核心思想，在該思想的指導(dǎo)下，首先提出了一個語義明確、結(jié)構(gòu)良好，通用性高的構(gòu)件模型，并為其提供了相應(yīng)的支撐平臺。然后，基于提出的嵌入式構(gòu)件模型，給出了一種以質(zhì)量為中

3、心的構(gòu)件提取方法，實現(xiàn)遺產(chǎn)系統(tǒng)的重構(gòu)，合理利用遺產(chǎn)系統(tǒng)的有效價值，創(chuàng)造產(chǎn)業(yè)效益。本文的主要工作有以下幾方面：
　　首先，深入分析了目前相對成熟的構(gòu)件模型，結(jié)合嵌入式軟件產(chǎn)品線的研究成果，針對嵌入式系統(tǒng)在形式化和建模方面的不足，提出了一種結(jié)構(gòu)良好、復(fù)用性強(qiáng)的嵌入式構(gòu)件模型（Embedded Component Model，ECM），對ECM的各組成元素以及構(gòu)件組合進(jìn)行了定義和形式化表述。此外，結(jié)合代數(shù)思想，文中還就構(gòu)件屬性、連接約束

4、、構(gòu)件組合運(yùn)算以及層次結(jié)構(gòu)等問題進(jìn)行了討論，建立了一個層次結(jié)構(gòu)良好的ECM代數(shù)模型。
　　其次，設(shè)計實現(xiàn)了DTSED構(gòu)件生產(chǎn)工具集作為ECM的支撐平臺，該工具支持構(gòu)件從設(shè)計到實現(xiàn)、部署、運(yùn)行、管理的一系列流程。然后，選取了呼吸機(jī)領(lǐng)域作為實例，進(jìn)行ECM的驗證和DTSED構(gòu)件生產(chǎn)工具集的應(yīng)用。通過此DTSED構(gòu)件生產(chǎn)工具集，生產(chǎn)并形成了呼吸機(jī)產(chǎn)品線的呼吸機(jī)構(gòu)件庫，投入產(chǎn)業(yè)生產(chǎn)效果顯著。
　　最后，基于提出的ECM，提出了一種以