AADL模型精化方法及其支持的Ada可执行代码自动生成方法

摘要

本发明公开了一种AADL模型精化方法及其支持的Ada可执行代码自动生成方法，本发明使用基于OSATE提供的AADL文件解析能力来对已有的AADL模型进行解析，并且通过模型精化的方法来对AADL模型进行功能行为简化以及其执行平台的相关信息补充，使其足够完备，同时借助Xtext技术提供的自动生成代码的能力，以及Xtend技术提供的模板规则映射功能来实现AADL的系统构件、进程和线程构件、行为附件和模式等模型到Ada代码的转换，使其代码能够在特定的平台上运行，以此来完成基于AADL开源工具环境OSATE的Eclipse平台插件。