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

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

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

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