[发明专利]硬件系统可靠性验证方法在审
| 申请号： | 202010010995.5 | 申请日： | 2020-01-06 |
| 公开（公告）号： | CN111209176A | 公开（公告）日： | 2020-05-29 |
| 发明（设计）人： | 黄滟鸿;丁骅;史建琦;刘静;曹桂涛 | 申请（专利权）人： | 华东师范大学;上海丰蕾信息科技有限公司 |
| 主分类号： | G06F11/34 | 分类号： | G06F11/34 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 付婧 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种硬件系统可靠性验证方法，包括：建立AADL可靠性模型；将所述AADL可靠性模型转换为动态故障树模型；通过顺序二元决策图方法对所述动态故障树模型进行分析验证。通过上述方法，可以在更高的抽象层次上进行系统级别的设计，有助于缓解系统复杂性，提高软件质量，而且对整个硬件内部和外部交互的可靠性有较大的提高。 | ||
| 搜索关键词： | 硬件 系统 可靠性 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海丰蕾信息科技有限公司，未经华东师范大学;上海丰蕾信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010010995.5/，转载请声明来源钻瓜专利网。
