基于AADL V1的系统最优化分析方法

摘要

本发明公开了基于AADL V1的系统最优化分析方法，先建模AADL最优化属性模型以扩展AADL建模功能使得AADL能够捕获执行最优化所需信息；再通过对AADL语义进行深入分析，提出AADL与最优化工具‑‑HiP‑HOPS模型元素之间的映射规则，设计并实现一个全新的模型转换框架AADL2HiP‑HOPS‑V2，并以插件形式集成到AADL开源开发工具OSATE中，最终形成一个集AADL模型建模与结构最优化分析为一分析提供创新应用与实践基础。利用本发明的分析方法，能弥补AADL在系统可靠性分析及架构多目标最优化分析方面的不足。