高可信嵌入式實時操作系統(tǒng)的設計與實現(xiàn).pdf

1、本文深入研究了有關高可信系統(tǒng)和高可信計算的方法，設計實現(xiàn)一個高可信子系統(tǒng)Gasos植入到ERTOS Ⅱ中，從而實現(xiàn)嵌入式實時操作系統(tǒng)的高可信性，并將操作系統(tǒng)移植到POWERPC 405平臺。對以下幾個方面進行了研究本有有所創(chuàng)新： 1、通過大量收集可信性方面的資料，并從失效、錯誤和缺陷之間的關系入手，發(fā)現(xiàn)驅動程序失效時造成系統(tǒng)實效的主要原因。通過提供驅動程序的可靠性來提高操作系統(tǒng)及整個系統(tǒng)的可靠性。 2、驅動程序數(shù)量是龐大

2、的，所以驅動程序本身的驗證很難保證，從而提出面向恢復的方法提高驅動程序的可靠性，并且Gasos子系統(tǒng)是面向設備驅動程序和用戶(應用程序)的，模擬驅動的運行對應用程序是透明的。 3、由于驅動程序本身的多樣性，提高驅動程序的可靠性，很難通過提高其本身的可靠性來達到目的，借鑒在數(shù)據庫系統(tǒng)中主-從機備份的方式來保證數(shù)據安全的方法，提出模擬驅動的方法來備份內核與驅動程序之間的交互數(shù)據。模擬驅動只備份數(shù)據而不真正執(zhí)行處理數(shù)據，并且采用面向對

3、象的思想，一個模擬驅動對應一類設備驅動程序，從而減少設計Gasos子系統(tǒng)代碼量和提高子系統(tǒng)的可移植性。 4、通過代碼介入技術，可以讓子系統(tǒng)介入到內核與驅動程序之間，并檢測隔離相關的驅動程序，從而根據檢測到的失效信息，來激發(fā)相應的模擬驅動控制器和模擬驅動參與到設備驅動程序的恢復。 5、解決了ERTOS Ⅱ移植到POWERPC 405平臺的處理器初始化問題。 基于以上的幾個方面的研究，設計實現(xiàn)了一個面向驅動恢復的Ga