機群系統(tǒng)可信性評價的研究.pdf

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

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

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

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