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

test1为aadl项目 OsateFeature2、OsatePlugin2、OsateSite2为eclipse开发项目

jdk1.8 eclipse 2021-03

osate2项目源文件，傲寒osate2所必要的功能和样例

OSATE在eclipse的开发环境上的运行空间配置

osate中Analyze Fault Impact工具使用的样例

该项目为aadl项目，基于osate平台，说明了对具有低临界部件的飞机的连续定量安全风险评估，该部件会影响飞机的整体安全。内含项目官方pdf介绍，适合aadl初学者。

本项目为aadl实现ARP4761系统，是osate自带的样例，关于样例更多介绍参考https://blog.csdn.net/qq_37400312/article/details/122311471

这是开源AADL工具环境(OSATE)项目的源代码库。文件、安装和设置说明保存在OSATE.org。git地址：https://github.com/osate/osate2

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