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中Analyze Fault Impact工具使用的样例

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

自动确保安全策略执行（AASPE） 关于工具 AASPE工具旨在用于制造安全可靠的安全关键系统。 这些工具正在使用AADL和OSATE工具集。 它提供以下功能： 攻击影响元模型 Attack Impact图形编辑器 攻击树编辑器元模型 攻击树图形编辑器 从攻击影响到攻击树的桥梁 从AADL到攻击影响的桥梁 安装工具 逐步版本 步骤1：下载并安装OSATE 进入OSATE并下载。 将产品解压缩到笔记本电脑上。 步骤2：启动OSATE 安装OSATE后，双击可执行文件以启动它。 步骤3：安装安全工具 在“帮助”菜单中，选择“安装新组件”，如下所示。 选择实验性网站一旦显示了可用组件的列表，请选择AASPE工具，如下所示。 接受许可证，确认并重新启动OSATE。 TL; DR版本 要安装工具，可以使用更新站点，然后选择要在Eclipse中安装的工具。 使用的更新站点。 实验性功能的UR

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

这是在卡耐基梅隆大学官网找到的架构分析与设计语言AADL的官方介绍

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