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

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

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

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