原创使用时自己的总结，希望對大家有用！1

某次课程作业要求使用osate-topcased（基于eclipse的插件），使用AADL语言模拟了GPS的工作机制

包含了一系列SEI等的AADL建模的例子

OSATE是由CMU开发的AADL开源集成開发环境，是在eclipse平台上的一套插件用于AADL建模编译和分析。

OSATE是一个完整的建模环境包括AADL和EMFTA，为描述AADL模型提供了支持它由许多功能组成，用于建模和分析系统此外，用户可以基于OSATE构建自己的工具并扩展其初始功能。

资源大小： 975KB 上传时间： 上传者： qq_

随着嵌入式系统在安铨关键领域的广泛应用必须采用现代软件工程的技术进一步提高其可信性，以保证人们的生命安全基于模型驱动方法，对AADL（体系结构汾析设计语言）模型的框架代码自动生成技术进行了研究提出了从AADL模型元素到C和Ada的语法元素的映射规则，由此实现了自动代码生成器generator并集成在开源工具OSATE中最后通过一个实例，说明将AADL模型自动转换为框架代码后与模块代码结合的有效性