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

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

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

3、防危核的實(shí)現(xiàn)技術(shù)，通過面向?qū)ο蟮木幊陶Z言的支持，使防危核具有開放式的結(jié)構(gòu)，在保證防危核原有可靠性的基礎(chǔ)上，提高了與應(yīng)用軟件的交互能力，增加了防危核的可擴(kuò)展性、靈活性和移植性。目前，國內(nèi)外研究機(jī)構(gòu)對實(shí)時系統(tǒng)可靠性展開了及其廣泛的研究，容錯是其中十分重要的研究領(lǐng)域。本論文對當(dāng)前容錯實(shí)時系統(tǒng)面臨的主要問題進(jìn)行了深入、系統(tǒng)的研究和實(shí)踐，提出了新的容錯實(shí)時調(diào)度算法和實(shí)時容錯軟件的構(gòu)造和管堡方法，為容錯實(shí)時系統(tǒng)進(jìn)一步的研究和應(yīng)用提供了新的技術(shù)和思路