本發(fā)明公開(kāi)了一種基于Z語(yǔ)言的存儲(chǔ)系統(tǒng)抗軟錯(cuò)誤可靠性建模與評(píng)估方法，包括：根據(jù)存儲(chǔ)系統(tǒng)結(jié)構(gòu)劃分存儲(chǔ)系統(tǒng)功能模塊，并根據(jù)Z語(yǔ)言規(guī)范對(duì)存儲(chǔ)系統(tǒng)進(jìn)行分級(jí)建模，得到可靠性模型，包括整體和功能模塊可靠性模型；采用隱馬爾可夫模型描述模型；通過(guò)連續(xù)時(shí)間馬爾可夫鏈計(jì)算功能模塊失效率，對(duì)存儲(chǔ)系統(tǒng)功能模塊進(jìn)行可靠性評(píng)估；將存儲(chǔ)系統(tǒng)功能模塊失效與否的狀態(tài)序列作為觀測(cè)變量，將存儲(chǔ)系統(tǒng)整體狀態(tài)作為隱馬爾可夫模型的狀態(tài)變量，建立隱馬爾可夫模型，計(jì)算存儲(chǔ)系統(tǒng)整體的失效率，對(duì)存儲(chǔ)系統(tǒng)進(jìn)行可靠性評(píng)估。本發(fā)明將存儲(chǔ)系統(tǒng)分級(jí)建模，具有模型結(jié)構(gòu)清晰，支持嚴(yán)謹(jǐn)?shù)卮鎯?chǔ)系統(tǒng)及各個(gè)功能模塊可靠性分析，便于形式化驗(yàn)證等優(yōu)點(diǎn)，具有很好的可擴(kuò)展性。