本發明公開了一種基于Z語言的存儲系統抗軟錯誤可靠性建模與評估方法,包括:根據存儲系統結構劃分存儲系統功能模塊,并根據Z語言規范對存儲系統進行分級建模,得到可靠性模型,包括整體和功能模塊可靠性模型;采用隱馬爾可夫模型描述模型;通過連續時間馬爾可夫鏈計算功能模塊失效率,對存儲系統功能模塊進行可靠性評估;將存儲系統功能模塊失效與否的狀態序列作為觀測變量,將存儲系統整體狀態作為隱馬爾可夫模型的狀態變量,建立隱馬爾可夫模型,計算存儲系統整體的失效率,對存儲系統進行可靠性評估。本發明將存儲系統分級建模,具有模型結構清晰,支持嚴謹地存儲系統及各個功能模塊可靠性分析,便于形式化驗證等優點,具有很好的可擴展性。
聲明:
“基于Z語言的存儲系統抗軟錯誤可靠性建模與評估方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)