[发明专利]基于Z语言的存储系统抗软错误可靠性建模与评估方法有效
申请号: | 202011634225.4 | 申请日: | 2020-12-31 |
公开(公告)号: | CN112783676B | 公开(公告)日: | 2022-09-20 |
发明(设计)人: | 庄毅;刘阳;晏祖佳;顾晶晶 | 申请(专利权)人: | 南京航空航天大学 |
主分类号: | G06F11/00 | 分类号: | G06F11/00;G06F17/18 |
代理公司: | 南京理工大学专利中心 32203 | 代理人: | 朱炳斐 |
地址: | 210016 江*** | 国省代码: | 江苏;32 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于Z语言的存储系统抗软错误可靠性建模与评估方法,包括:根据存储系统结构划分存储系统功能模块,并根据Z语言规范对存储系统进行分级建模,得到可靠性模型,包括整体和功能模块可靠性模型;采用隐马尔可夫模型描述模型;通过连续时间马尔可夫链计算功能模块失效率,对存储系统功能模块进行可靠性评估;将存储系统功能模块失效与否的状态序列作为观测变量,将存储系统整体状态作为隐马尔可夫模型的状态变量,建立隐马尔可夫模型,计算存储系统整体的失效率,对存储系统进行可靠性评估。本发明将存储系统分级建模,具有模型结构清晰,支持严谨地存储系统及各个功能模块可靠性分析,便于形式化验证等优点,具有很好的可扩展性。 | ||
搜索关键词: | 基于 语言 存储系统 错误 可靠性 建模 评估 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于南京航空航天大学,未经南京航空航天大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202011634225.4/,转载请声明来源钻瓜专利网。