[发明专利]基于AADL V1和HiP-HOPS的模型转换分析方法在审
| 申请号： | 201910150866.3 | 申请日： | 2019-02-28 |
| 公开（公告）号： | CN109901825A | 公开（公告）日： | 2019-06-18 |
| 发明（设计）人： | 勉治宝;高亚晴;闫茹 | 申请（专利权）人： | 北方民族大学 |
| 主分类号： | G06F8/30 | 分类号： | G06F8/30;G06F8/35 |
| 代理公司： | 北京方圆嘉禾知识产权代理有限公司 11385 | 代理人： | 董芙蓉 |
| 地址： | 750021 宁夏回族*** | 国省代码： | 宁夏;64 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于AADL V1和HiP‑HOPS的模型转换分析方法，包括以下步骤：在OSATE 1.0构建AADL可靠性模型包括AADL系统架构模型及错误模型；通过以ATL模型转换技术为核心且集成在OSATE 1.0的模型转换技术插件AADL2HiP‑HOPS‑V1将上述模型转换为遵循HiP‑HOPS Ecore元模型的HiP‑HOPS Ecore模型；通过基于ATL的文本转换技术，将HiP‑HOPS Ecore模型进一步转换为遵循HiP‑HOPS架构模式定义的HiP‑HOPS可靠性模型；HiP‑HOPS利用该输入文件自动分析获得系统故障树模型和故障模式及效应FMEA分析。 | ||
| 搜索关键词： | 模型转换 可靠性模型 系统架构模型 故障树模型 错误模型 故障模式 获得系统 架构模式 输入文件 文本转换 自动分析 分析 元模型 插件 构建 转换 | ||
【主权项】：
1.基于AADL V1和HiP‑HOPS的模型转换分析方法，其特征在于，包括以下步骤：步骤1、在OSATE 1.0构建AADL可靠性模型包括AADL系统架构模型及错误模型；步骤2、通过以ATL模型转换技术为核心且集成在OSATE 1.0的模型转换技术插件AADL2HiP‑HOPS‑V1将上述AADL可靠性模型转换为遵循HiP‑HOPS Ecore元模型的HiP‑HOPS Ecore模型；步骤3、通过基于ATL的文本转换技术，将HiP‑HOPS Ecore模型进一步转换为遵循HiP‑HOPS架构模式定义的HiP‑HOPS可靠性模型；步骤4、HiP‑HOPS利用该输入文件自动分析获得系统故障树模型和故障模式及效应FMEA分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北方民族大学，未经北方民族大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910150866.3/，转载请声明来源钻瓜专利网。
