基于微內(nèi)核虛擬化技術(shù)的高可靠性嵌入式軟件平臺研究.pdf

1、隨著嵌入式系統(tǒng)硬件性能的不斷提高和軟件功能的日益豐富，系統(tǒng)固有復雜度已經(jīng)成為提高嵌入式系統(tǒng)可靠性的主要瓶頸。傳統(tǒng)的嵌入式軟件平臺都是單操作系統(tǒng)方案，電子裝設備可靠性依賴于所選擇的操作系統(tǒng)、應用軟件以及硬件平臺的可靠性。傳統(tǒng)的提高電子裝設備可靠性的方法主要有兩個：一是通過采用高可靠性實時操作系統(tǒng)和科學設計、嚴格測試提高應用系統(tǒng)的可靠性；二是采取硬件多余度設計，通過硬件冗余提高電子裝設備可靠性。在普通的應用領域上述方法基本上足以解決可靠性問

2、題，但在軍事裝備領域特別是可靠性要求極高的航空航天等關(guān)鍵領域，隨著系統(tǒng)復雜度的不斷提高，無論底層操作系統(tǒng)還是之上的應用軟件都無法100％的保證系統(tǒng)的可靠性，潛在的BUG并不總是能發(fā)現(xiàn)，火星探測器“火星全球勘察者”號的故障就是一個明證。而硬件冗余的方法在一方面通過概率學原理提高可靠性的同時也不可避免的提高了硬件系統(tǒng)的復雜性，同時硬件冗余的方法在一些對空間和重量有嚴格要求的系統(tǒng)中應用會受到限制。以L4為代表的第二代微內(nèi)核技術(shù)和虛擬化技術(shù)的發(fā)