AASPE:一组用于安全性分析的建模工具（攻击树，攻击影响）和代码生成器，用于从AADL模型生成seL4平台的代码-源码

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