機(jī)群系統(tǒng)可信性評(píng)價(jià)的研究.pdf

1、論文在機(jī)群系統(tǒng)的可信性評(píng)價(jià)的模型、方法和工具方面進(jìn)行了研究.論文首先介紹了適合機(jī)群可信性評(píng)價(jià)的若干指標(biāo),對(duì)系統(tǒng)可用性、系統(tǒng)可靠性和任務(wù)完成情況三種指標(biāo)進(jìn)行了形式化描述,并通過(guò)一個(gè)雙節(jié)點(diǎn)機(jī)群的例子分析和比較了不同指標(biāo)的適用條件和衡量結(jié)果.論文接著介紹了機(jī)群可信性建模的理論和方法,闡述了機(jī)群模型中故障速率,故障覆蓋率和恢復(fù)速率三種基本參數(shù)的語(yǔ)義,分析了它們的特征和估計(jì)方法;同時(shí)介紹了當(dāng)前可信性建模中廣泛使用的可靠性框圖、故障樹(shù)、Markov

2、鏈和Petri網(wǎng)模型,對(duì)這些模型的描述能力和建模的復(fù)雜程度進(jìn)行了分析和對(duì)比.論文的主要工作是采用可靠性框圖方法對(duì)機(jī)群的基本可信性進(jìn)行評(píng)價(jià),提出基于著色Petri網(wǎng)的高可用機(jī)群的可信性評(píng)價(jià)方法,開(kāi)發(fā)了一個(gè)著色Petri網(wǎng)的模擬工具NCPN和高可用機(jī)群的可信性評(píng)價(jià)工具ACUTE,并研究了一個(gè)高可用機(jī)群系統(tǒng)的實(shí)例.應(yīng)用可靠性框圖方法可對(duì)機(jī)群的基本可信性進(jìn)行分析,論文以曙光4000A機(jī)群系統(tǒng)為實(shí)例,評(píng)價(jià)了其基本可信性指標(biāo),指出262個(gè)節(jié)點(diǎn)的機(jī)群

3、的MTTF時(shí)間僅有一天.論文提出了一種基于著色Petri網(wǎng)的高可用機(jī)群的可信性評(píng)價(jià)方法,該方法使用著色Petri網(wǎng)理論,采用了層次化的建模方法設(shè)計(jì)了描述機(jī)群行為的子模型庫(kù),該模型庫(kù)支持當(dāng)前主要的對(duì)等式和集中式高可用軟件結(jié)構(gòu),采用了動(dòng)態(tài)建模方法選擇合適的子模型搭建整體模型.為了實(shí)際應(yīng)用基于著色Petri網(wǎng)的機(jī)群可信性模型,論文設(shè)計(jì)開(kāi)發(fā)了一個(gè)著色Petri網(wǎng)的模擬工具NCPN;該工具采用了面向?qū)ο蟮脑O(shè)計(jì)機(jī)制進(jìn)行模型設(shè)計(jì),提供了基本Petri

4、網(wǎng)的對(duì)象庫(kù)作為建模的框架,實(shí)現(xiàn)了層次化建模的方法,提出了變量弧和禁止弧的著色Petri網(wǎng)結(jié)構(gòu)擴(kuò)展.基于著色Petri網(wǎng)模型和NCPN工具,論文開(kāi)發(fā)了一個(gè)用于高可用機(jī)群可信性評(píng)價(jià)的工具ACUTE,該工具根據(jù)用戶的輸入?yún)?shù)自動(dòng)建立系統(tǒng)模型,進(jìn)行模型的模擬,生成系統(tǒng)可用性和任務(wù)完成情況等可信性指標(biāo).使用ACUTE,論文還研究了一個(gè)高可用機(jī)群系統(tǒng)的實(shí)例,該系統(tǒng)由16個(gè)節(jié)點(diǎn)組成,運(yùn)行計(jì)算型任務(wù)和Oracle數(shù)據(jù)庫(kù)服務(wù)兩種應(yīng)用的多個(gè)實(shí)例.機(jī)群和應(yīng)用