高可靠容錯實時系統(tǒng)的支撐技術研究.pdf

1、電子科技大學博士學位論文高可靠容錯實時系統(tǒng)的支撐技術研究姓名：陳宇申請學位級別：博士專業(yè)：計算機應用指導教師：熊光澤2002.1.1摘要吞吐量。本論文在理論上證明了上述算法的正確性，并通過容錯調(diào)度模擬試驗驗證了算法有效性。2基于功能需求和非功能需求分離的原則，首次提出采用容錯實時運行庫技術(編程中間件)構造和管理實時容錯軟件，簡化實時應用程序的設計和實現(xiàn)。本論文詳細分析了容錯實時運行庫與系統(tǒng)層和應用層間的相互關系，并通過實例說明了容錯實

2、時運行庫的實現(xiàn)方法。除上述工作外，j苯論文還對實時軟件系統(tǒng)可靠的在線升級技術和實時系統(tǒng)防危核技術進行了研究和探討，并做出有益的貢獻，f】提出一種支持實時控制系統(tǒng)在線升級的結構模型，在保證系統(tǒng)運行時的可慕性和性能的同時，實現(xiàn)系統(tǒng)安全的升級，延長實時軟件系統(tǒng)的使用壽命，滿足用戶對系統(tǒng)功能和性能的不斷提高的要求。文中詳細分析了該模型的結構及其組成部分的功能，并利用隨機Petri網(wǎng)建立在線升級模型的性能和可靠性評價模型。2首次提出了基于元對象的

3、防危核的實現(xiàn)技術，通過面向對象的編程語言的支持，使防危核具有開放式的結構，在保證防危核原有可靠性的基礎上，提高了與應用軟件的交互能力，增加了防危核的可擴展性、靈活性和移植性。目前，國內(nèi)外研究機構對實時系統(tǒng)可靠性展開了及其廣泛的研究，容錯是其中十分重要的研究領域。本論文對當前容錯實時系統(tǒng)面臨的主要問題進行了深入、系統(tǒng)的研究和實踐，提出了新的容錯實時調(diào)度算法和實時容錯軟件的構造和管堡方法，為容錯實時系統(tǒng)進一步的研究和應用提供了新的技術和思路