[发明专利]一种基于PRISM的抗SEU的可靠性验证方法在审
| 申请号： | 201711102436.1 | 申请日： | 2017-11-06 |
| 公开（公告）号： | CN107844407A | 公开（公告）日： | 2018-03-27 |
| 发明（设计）人： | 王超;李静;陈阳 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F11/34 | 分类号： | G06F11/34;G06K9/62 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 211106 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于PRISM的抗SEU的可靠性验证方法。本发明是一种将形式化验证技术应用于系统早期设计阶段，分析不同加固技术和参数下的系统可靠性、可用性和安全性，帮助设计人员开发出更可靠和更有效的解决方案的一种方法，使用PRISM概率模型检验器考虑内存刷新、冗余等加固技术对系统设计进行建模，采用CDFG调度(用于故障恢复)，故障检测覆盖率(安全性相关)和特征库(用于提供各组件的单粒子翻转发生概率)，建立好的模型能够描述系统能够到达的所有状态。 | ||
| 搜索关键词： | 一种 基于 prism seu 可靠性 验证 方法 | ||
【主权项】：
一种基于PRISM的抗SEU的可靠性验证方法，是一种将形式化验证技术应用于系统早期设计阶段，分析不同加固技术和参数下的系统可靠性、可用性和安全性，帮助设计人员开发出更可靠和更有效的解决方案的一种方法，其特征在于，是一种评估航天航空领域中集成电路器件可靠性、可用性、安全性的验证方法，使用PRISM概率模型检验器考虑内存刷新、冗余等加固技术对系统设计进行建模，建立好的模型能够描述系统能够到达的所有状态。采用CDFG调度(用于故障恢复)，故障检测覆盖率(安全性相关)和特征库(用于提供各组件的单粒子翻转发生概率)。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711102436.1/，转载请声明来源钻瓜专利网。
- 上一篇：低速碰撞的自动识别和评估
- 下一篇：方向盘单元
