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

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

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

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