基于AADL V1和HiP-HOPS的模型转换分析方法

摘要

本发明公开了基于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分析。