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

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

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

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