本发明公开了一种基于Z语言的存储系统抗软错误可靠性建模与评估方法，包括：根据存储系统结构划分存储系统功能模块，并根据Z语言规范对存储系统进行分级建模，得到可靠性模型，包括整体和功能模块可靠性模型；采用隐马尔可夫模型描述模型；通过连续时间马尔可夫链计算功能模块失效率，对存储系统功能模块进行可靠性评估；将存储系统功能模块失效与否的状态序列作为观测变量，将存储系统整体状态作为隐马尔可夫模型的状态变量，建立隐马尔可夫模型，计算存储系统整体的失效率，对存储系统进行可靠性评估。本发明将存储系统分级建模，具有模型结构清晰，支持严谨地存储系统及各个功能模块可靠性分析，便于形式化验证等优点，具有很好的可扩展性。
声明：
“基于Z语言的存储系统抗软错误可靠性建模与评估方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
1074
编辑：管理员
来源：北方有色网
咨询细节
