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