osate2.10.0安装包，官网下载地址：https://osate-build.sei.cmu.edu/download/osate/stable/2.10.0/products/osate2-2.10.0-vfinal-win32.win32.x86_64.zip

内含34个官方样例，下载地址：https://github.com/osate/examples

1.OSATE:一个完整的建模工具，目前已经到3.xx的版本，但是各个版本的使用方法（拖图）还是有挺大差别的，在本次教程中选用OSATE2-2.2（也许你使用的的是3.xx但是他们的拖图方式可能不一样，但是语法还是差不多的） 2.OSATE:建模只要有两个部分通过图形界面建模、另外一个是用过编程语法进行建模。其实你要是想将语法和图形界面中的部件联系起来也挺容易，你可以先拖一个空间然后转到文本编辑界面看看生成的语法是那些就能大体掌握各个控件对应的关键字等。

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

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

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