構(gòu)件化高可信實(shí)時(shí)操作系統(tǒng)平臺的研究與實(shí)現(xiàn).pdf

1、嵌入式軟件的質(zhì)量和開發(fā)效率往往會對一個(gè)嵌入式產(chǎn)品的成功起著決定性的影響。傳統(tǒng)的嵌入式軟件采用的封閉式的開發(fā)方式已經(jīng)越來越不適應(yīng)當(dāng)前應(yīng)用環(huán)境的需要。軟件重用作為提高軟件質(zhì)量和開發(fā)效率的一種現(xiàn)實(shí)可行的方法已經(jīng)得到極大的重視，而構(gòu)件化軟件開發(fā)技術(shù)作為軟件重用的主要方式成為了軟件工程界的研究熱點(diǎn)，利用構(gòu)件化技術(shù)來提高嵌入式軟件質(zhì)量和開發(fā)效率也成為實(shí)時(shí)軟件工程研究的主要內(nèi)容。 同時(shí)，隨著嵌入式系統(tǒng)在許多領(lǐng)域的廣泛應(yīng)用，用戶對嵌入式系統(tǒng)的要

2、求已經(jīng)不僅僅停留在保證系統(tǒng)的實(shí)時(shí)性、緊湊性和高性能上，對于可信性的要求也日益增加。系統(tǒng)的可信性包含可用性、可靠性、防危性、安全性、魯棒性和生存性等不同方面。各個(gè)不同屬性之間有所區(qū)別但又緊密聯(lián)系，各自有不同的方法來保證。在嵌入式系統(tǒng)的可信性方面，軟件可信性問題遠(yuǎn)比硬件可信性嚴(yán)重的多。 操作系統(tǒng)是嵌入式系統(tǒng)的核心，是構(gòu)件化軟件運(yùn)行的支撐環(huán)境，是保障整個(gè)嵌入式系統(tǒng)可信性的根基。高可信賴的硬實(shí)時(shí)操作系統(tǒng)ERTOS，主要采用容錯機(jī)制、時(shí)空

3、隔離機(jī)制、安全核、防危核等技術(shù)，提高實(shí)時(shí)內(nèi)核的可靠性、信息安全性和防危性。對于可信性中的其他子屬性，則很少涉及。同時(shí)，由于ERTOS的構(gòu)件化程度不高，在其上開發(fā)應(yīng)用程序比較困難，其開發(fā)周期較長。因此，構(gòu)造一個(gè)構(gòu)件化高可信的嵌入式軟件平臺是解決上述問題的有效途徑。 本文首先介紹了嵌入式系統(tǒng)軟件危機(jī)和國內(nèi)外相關(guān)的研究成果，指出了構(gòu)件化和可信性是嵌入式系統(tǒng)發(fā)展的兩大必然趨勢；闡述了可信性、構(gòu)件化的基本概念和相關(guān)技術(shù)；在上述研究的基礎(chǔ)上