嵌入式無人機(jī)的科學(xué)性_嵌入式組件CBD軟件開發(fā)

小嵌

嵌入式無人機(jī)的科學(xué)性_嵌入式組件CBD軟件開發(fā),   

引 言  

　　基于組件的開發(fā)（Component Based Development,CBD）技術(shù)在軟件工程中占有舉足輕重的地位，并且在許多工程應(yīng)用領(lǐng)域已經(jīng)取得了重大的成功。在通用計(jì)算機(jī)軟件、電子商務(wù)、和分布式計(jì)算環(huán)境中CBD技術(shù)已經(jīng)得到了成熟的應(yīng)用。但是，在一些領(lǐng)域，如嵌入式系統(tǒng)中，CBD的應(yīng)用還及其有限。由于不同嵌入式系統(tǒng)的需求和硬件平臺(tái)各異，要開發(fā)出適用于所有系統(tǒng)的通用組件是極其困難的，目前只能夠針對(duì)特定應(yīng)用領(lǐng)域和平臺(tái)研究開發(fā)適用的組件。正是由于嵌入式系統(tǒng)的差異性、專門性與組件技術(shù)的通用性之間的矛盾，所以要利用組件進(jìn)行嵌入式軟件開發(fā)，就必須采取適用的組件技術(shù)和系統(tǒng)開發(fā)方法。

　　在此，主要介紹了面向組件軟件工程的總體原則及其在嵌入式系統(tǒng)中的應(yīng)用。通過分析嵌入式系統(tǒng)中對(duì)組件的要求和通用組件技術(shù)的差異，提出了嵌入式組件的設(shè)計(jì)原則，并基于嵌入式組件的特點(diǎn)，提出一種面向組件的嵌入式軟件系統(tǒng)開發(fā)方法。表明盡管嵌入式系統(tǒng)與通用計(jì)算平臺(tái)具有很大的差異，但是組件技術(shù)仍然可以成功地應(yīng)用于嵌入式領(lǐng)域。

　　l 嵌入式系統(tǒng)和組件技術(shù)

　　1．1 嵌入式系統(tǒng)

　　嵌入式系統(tǒng)是滿足專門需求的小型計(jì)算機(jī)系統(tǒng)。例如，車載控制系統(tǒng)、工業(yè)控制系統(tǒng)、移動(dòng)電話或者系統(tǒng)。嵌入式系統(tǒng)的范圍極其廣泛，從微型計(jì)算設(shè)備到復(fù)雜的大型監(jiān)控設(shè)備都屬于嵌入式系統(tǒng)的范疇。實(shí)時(shí)性是大多數(shù)嵌入式系統(tǒng)的特性，是在系統(tǒng)設(shè)計(jì)時(shí)需要考慮的重要概念。對(duì)于實(shí)時(shí)性的要求，不同嵌入式系統(tǒng)可以分為軟實(shí)時(shí)系統(tǒng)（Solt ）和硬實(shí)時(shí)系統(tǒng)（ ）。嵌入式系統(tǒng)一般還要求有很好的穩(wěn)定性和可靠性。由于功能專一，需求多樣和系統(tǒng)小型化，這就要求系統(tǒng)的成本低廉，從而限制了系統(tǒng)的硬件性能。由于嵌入式系統(tǒng)的資源限制和實(shí)時(shí)性要求，軟件開發(fā)人員往往不能夠利用先進(jìn)的通用軟件工程技術(shù)，而必須使用一些非正規(guī)的方法，利用高效的程序語言進(jìn)行開發(fā)。隨著系統(tǒng)復(fù)雜性不斷增加，對(duì)系統(tǒng)的需求分析，模型設(shè)計(jì)，早期的錯(cuò)誤檢測，開發(fā)周期，可維護(hù)性等方面提出了新的要求。因此推動(dòng)了先進(jìn)的軟件工程方法向嵌入式開發(fā)領(lǐng)域的轉(zhuǎn)移。

　　1．2 組件技術(shù)

　　組件技術(shù)就是一種軟件工程中的先進(jìn)技術(shù)。組件可以認(rèn)為是能夠用于構(gòu)建大型系統(tǒng)的自包含的部件或子系統(tǒng)。在軟件工程中，一個(gè)組件與一個(gè)微型應(yīng)用程序類似，即都是已經(jīng)編譯鏈接好，并可以使用的二進(jìn)制代碼，應(yīng)用程序由多個(gè)這樣的組件打包而得到。在需要對(duì)應(yīng)用程序進(jìn)行修改或改進(jìn)時(shí)，只需要將構(gòu)成此應(yīng)用程序組件中的某個(gè)用新版本掉即可。這樣，使用組件技術(shù)的系統(tǒng)就具有很好的靈活性和可移植性。另外強(qiáng)大的組件庫能夠?yàn)殚_發(fā)人員提供功能豐富的組件支持，從而大大縮短軟件的開發(fā)周期。使用組件的種種優(yōu)點(diǎn)直接來源于可以將它們動(dòng)態(tài)地插入或卸出的應(yīng)用。為了實(shí)現(xiàn)這種功能，所有的組件必須滿足兩個(gè)條件：一是組件必須動(dòng)態(tài)鏈接；二是它們必須隱藏其內(nèi)部實(shí)現(xiàn)細(xì)節(jié)。另外，利用組件還能幫助開發(fā)人員根據(jù)所使用的組件功能預(yù)測和驗(yàn)證系統(tǒng)的功能特性。正是由于組件具有諸多優(yōu)點(diǎn)，基于組件的開發(fā)技術(shù)才引起了軟件工程領(lǐng)域的廣泛應(yīng)用，并且逐漸將它引入迅猛發(fā)展的嵌入式軟件開發(fā)領(lǐng)域中。

　　2 嵌入式系統(tǒng)組件的設(shè)計(jì)原則

　　2．1 接口設(shè)計(jì)原則

　　適用于嵌入式系統(tǒng)中的組件遵從大部分的通用組件設(shè)計(jì)原則，特別是組件的接口和實(shí)現(xiàn)相分離的封裝特性。組件的接口是組件功能的體現(xiàn)，系統(tǒng)中的部分或者組件正是通過接口使用組件提供的功能。但是對(duì)于嵌入式系統(tǒng)而言，有一些額外的系統(tǒng)特性或約束和系統(tǒng)功能是同樣重要的（如實(shí)時(shí)性），那么接口僅包含組件本身的功能特性就不完備，它還必須包含額外的系統(tǒng)特性，即加入約束條件。這樣在系統(tǒng)設(shè)計(jì)階段，利用組件進(jìn)行設(shè)計(jì)不但能夠驗(yàn)證功能需求，而且還能預(yù)測和分析系統(tǒng)特性需求。

　　2．2 組件綁定與發(fā)布原則

　　在通用組件的設(shè)計(jì)中，接口是以支持運(yùn)行期綁定的多態(tài)對(duì)象接口方式實(shí)現(xiàn)的。組件完全以動(dòng)態(tài)形式綁定，獨(dú)立于接口的定義。這樣為組件復(fù)用、系統(tǒng)升級(jí)提供了強(qiáng)大的靈活性。但是，這種靈活性在嵌入式系統(tǒng)中會(huì)帶來性能的下降和風(fēng)險(xiǎn)的上升，影響系統(tǒng)的實(shí)時(shí)性和穩(wěn)定性。因?yàn)樗�有組件都在運(yùn)行期綁定，這樣必然會(huì)增加冗余代碼，并且讓系統(tǒng)行為變得難以預(yù)測。因此，通用組件的動(dòng)態(tài)特性在嵌入式系統(tǒng)中特別是小型系統(tǒng)中是不可行的。由于實(shí)時(shí)性和硬件資源限制，在嵌入式系統(tǒng)中，組件鏈接和組合最好在系統(tǒng)設(shè)計(jì)期靜態(tài)而不是運(yùn)行期動(dòng)態(tài)地進(jìn)行。進(jìn)行組件的靜態(tài)綁定，可以通過系統(tǒng)建模工具對(duì)一個(gè)基于組件的系統(tǒng)設(shè)計(jì)產(chǎn)生一個(gè)總體視圖，這樣能夠?qū)ο到y(tǒng)性能有更好的預(yù)測和優(yōu)化。所以組件的形式不應(yīng)該再使用通用組件中的二進(jìn)制可執(zhí)行文件形式發(fā)布，而應(yīng)該采用高級(jí)語言或更為抽象的建模語言（如UML）定義組件的形式，這樣可以讓組件在編譯期或者在設(shè)計(jì)的早期就可以綁定鏈接，而不是像通用組件那樣的遲綁定（Late Binding）。  


　　2．3 大型嵌入式系統(tǒng)中的組件原則

　　隨著嵌入式技術(shù)的不斷發(fā)展，許多功能復(fù)雜的大型嵌入式系統(tǒng)也隨之出現(xiàn)。對(duì)于這些系統(tǒng)硬件資源和實(shí)時(shí)性已經(jīng)不是首要的考慮因素，如何有效控制系統(tǒng)復(fù)雜性和降低高昂的開發(fā)成本已成為最主要的問題。所以對(duì)于這樣的大型嵌入式系統(tǒng)，通用組件幾乎可以毫無障礙地在系統(tǒng)中發(fā)揮作用，極大地簡化了開發(fā)難度，減少了開發(fā)工作量和開發(fā)周期。如微軟的嵌入式系統(tǒng)Windows CE就是這項(xiàng)技術(shù)的成功應(yīng)用，系統(tǒng)功能和應(yīng)用功能完全以組件方式列出，開發(fā)人員只需要簡單地添加和刪除就能將一項(xiàng)復(fù)雜功能加入或移除系統(tǒng)鏡像，并且支持功能強(qiáng)大的COM組件庫，為應(yīng)用程序的開發(fā)提供了非常便利的工具。當(dāng)然，那些要求強(qiáng)實(shí)時(shí)的大型嵌人式系統(tǒng)也不應(yīng)該使用通用組件技術(shù)，應(yīng)該根據(jù)具體的系統(tǒng)特性使用精簡版本來進(jìn)行系統(tǒng)開發(fā)。

　3 面向嵌入式組件的系統(tǒng)開發(fā)過程

　　由以上分析可以看出，由于嵌入式系統(tǒng)的功能和性能要求，以及硬件資源限制和復(fù)雜性控制需求，適用于嵌入式軟件系統(tǒng)的組件體現(xiàn)了接口定義約束、靜態(tài)綁定和抽象語言的發(fā)布形式等特性。那么正是由于這些特性的存在，適用于通用組件的軟件開發(fā)方法就不能直接應(yīng)用于嵌入式軟件開發(fā)過程，而需要一種適合于嵌入式組件特性的系統(tǒng)開發(fā)方法。下面介紹面向嵌入式組件的開發(fā)過程，它能夠有效地利用和體現(xiàn)嵌入式組件的特性。

　　整個(gè)開發(fā)過程如圖1所示。根據(jù)組成與分解、抽象與具體的兩個(gè)基本開發(fā)思想建立了一個(gè)二維坐標(biāo)系，橫坐標(biāo)為抽象與具體;縱坐標(biāo)為分解與組合。兩個(gè)坐標(biāo)軸將整個(gè)開發(fā)空間分成了4部分，即建模過程的4個(gè)基本步驟：分解、實(shí)體化、組合、確認(rèn)。

  

　　分解整個(gè)開發(fā)過程從圖1的左上角開始。黑色方框代表了最初的待實(shí)現(xiàn)系統(tǒng)，即開發(fā)人員經(jīng)過需求分析所建立的系統(tǒng)模型。通過系統(tǒng)功能域的劃分，將系統(tǒng)進(jìn)行分解，在每一個(gè)功能域都包含了與該功能相關(guān)的所有邏輯組件。每一個(gè)邏輯組件再作為一個(gè)子系統(tǒng)遞歸地進(jìn)行分解，直到組件達(dá)到了可重用組件的粒度。分解過程只是從抽象和邏輯角度決定組件的功能形式。

　　實(shí)體化將具有最小粒度的不能再分解的邏輯組件進(jìn)行實(shí)體化。由于這些邏輯組件已經(jīng)具有了明確的功能或者直接就是已有的組件，所以可以很容易地將這些邏輯組件轉(zhuǎn)化為實(shí)際組件，如圖1中右下角的黑粗線方框所示。

　　組合將重用的或者是將實(shí)現(xiàn)的實(shí)際組件，根據(jù)抽象模型，通過組件接口組合起來，該過程完全是分解的逆過程。如圖2所示。

  

　　驗(yàn)證對(duì)實(shí)體化以后再構(gòu)建起來的系統(tǒng)與最初的待實(shí)現(xiàn)系統(tǒng)進(jìn)行對(duì)比，利用組件的功能和約束特性預(yù)測整個(gè)系統(tǒng)的功能和性能，從而驗(yàn)證系統(tǒng)設(shè)計(jì)的正確性。

　　面向嵌入式組件開發(fā)的整個(gè)過程體現(xiàn)為一個(gè)樹形結(jié)構(gòu)，相當(dāng)于一棵組件樹。樹的每一片葉子都代表一個(gè)組件。而每一個(gè)組件都可以視為一棵子樹，遞歸地利用該開發(fā)過程。整個(gè)過程總是不斷利用已有組件或者明確可實(shí)現(xiàn)的小粒度組件的組合對(duì)設(shè)計(jì)進(jìn)行驗(yàn)證，由于組件接口和實(shí)現(xiàn)已經(jīng)靜態(tài)綁定，每一個(gè)組件在運(yùn)行時(shí)的功能在設(shè)計(jì)期就能完全確定，這樣能幫助開發(fā)人員在最早的時(shí)間內(nèi)發(fā)現(xiàn)設(shè)計(jì)上的缺陷，及時(shí)對(duì)設(shè)汁進(jìn)行修改。

　4 結(jié) 語

　　如今，嵌入式系統(tǒng)已經(jīng)被廣泛地應(yīng)用于生活的方方面面。CBD技術(shù)無疑會(huì)對(duì)嵌入式領(lǐng)域的發(fā)展起到重要的作用。這里通過深入分析通用組件的設(shè)計(jì)原則和嵌入式系統(tǒng)的特性要求，提出了適合于嵌入式系統(tǒng)的組件設(shè)計(jì)原則和開發(fā)方法，使組件技術(shù)的優(yōu)點(diǎn)在嵌入式系統(tǒng)中得到了很好的體現(xiàn)，為CBD技術(shù)向嵌入式領(lǐng)域的轉(zhuǎn)移提供了一種有效的途徑。

　　當(dāng)然，要使CBD技術(shù)得以在嵌入式系統(tǒng)中充分的利用，還有一些問題有待推進(jìn)和解決。例如，目前還缺乏廣泛使用的適合于嵌入式系統(tǒng)的組件技術(shù)標(biāo)準(zhǔn)，大多數(shù)的組件技術(shù)還不能夠支持對(duì)嵌入式系統(tǒng)性能特性（如實(shí)時(shí)性）的定義和分析，并且應(yīng)用于具有特定系統(tǒng)性能要求的嵌入式系統(tǒng)的組件組合方法和系統(tǒng)設(shè)計(jì)時(shí)的功能預(yù)測和驗(yàn)證手段都還有待于發(fā)展。此外，幫助嵌入式開發(fā)人員進(jìn)行組件和系統(tǒng)建模、分析和驗(yàn)證的輔助工具還需要進(jìn)一步的開發(fā)和引入。