简介： 本发明公开了一种基于Z语言的存储系统抗软错误可靠性建模与评估方法，包括：根据存储系统结构划分存储系统功能模块，并根据Z语言规范对存储系统进行分级建模，得到可靠性模型，包括整体和功能模块可靠性模型；采用隐马尔可夫模型描述模型；通过连续时间马尔可夫链计算功能模块失效率，对存储系统功能模块进行可靠性评估；将存储系统功能模块失效与否的状态序列作为观测变量，将存储系统整体状态作为隐马尔可夫模型的状态变量，建立隐马尔可夫模型，计算存储系统整体的失效率，对存储系统进行可靠性评估。本发明将存储系统分级建模，具有模型结构清晰，支持严谨地存储系统及各个功能模块可靠性分析，便于形式化验证等优点，具有很好的可扩展性。