AADL模型分析工具AADL Inspector
AADL Inspector 是AADL模型分析平台，是一个执行AADL静态和动态架构分析的易用和可扩展工具，能够轻松连接任何AADL兼容认证工具或代码生成器，包括Stood、Osate、Cheddar和Marzhin等。
选择AADL Inspector的五大理由：
● 强大的LMP能力有助于提供完备的AADL工具链，完善实时系统建模工作流程；
● 提供静态分析和动态仿真分析手段，为实时分析和移植工作提高效率；
● 提供可定制接口，支持“plugin and check”、宏和命令行方式；
● 提供业内最强大的Cheddar可调度性分析内核及事后处理增强输出模式；
● 跟踪AADL标准的最新发布，更新软件版本；
● 导入AADL 文本说明书
■ 语法分析（aadlrev）
■ AADL v2.1（AS-5506B）
■ AADL行为状态附录 (AS-5506/2 Annex D + 正误表)
■ AADL 错误模型附录 (AS-5506/1 附录x E + 草案 of AS-5506/3 Annex E)
■ AADL ARINC 653 附录（AS-5506/2 附录 F）
■ AADL 版本1 和版本2.0 向上兼容性
■ 转换 AADL 1.0 和 2.0 到 2.1结构（在属性关联上有一定的限制）
● 导入UML/MARTE模块
● 从GitHub导入AADL库
● 实时和开发向导
● 静态规则分析
■ 标准文档定义的完全追踪性
■ AADL 命名规则（4.1, 4.2, 4.3 和 4.4章）
■ AADL 合法性规则（4.1, 4.2, 4.3 和 4.4章）
■ AADL 连贯性规则（4.5章）
■ 结构矩阵: 声明和实例模式
■ 定制性能（用以支持 AADL 子集和项目特定规则）
● 可调度性分析
■ 集成CHEDDAR v3内核分析
■ AADL 对于Cheddar的模型转化
■ 对于后处理增强的输出格式
■ VCD（价值变动转储）文件定时静态模拟输出
● 动态模拟
■ 集成MARZHIN v2多主体模拟引擎
■ AADL运行模拟（多处理器和多分支结构）
■ 显示处理器、总线、进程、线程和共享数据的动态时间线
■ 异步用户互动：事件和数据的出入
■ VCD（价值变动转储）文件模拟追踪输出
●实时属性编辑器
■ 从所有的线程实例中提取主要的实时属性
■ 易于修改的电子表格程序编辑器
■ 插入可变项到文本声明模型
●使用工具定制性能
■“插件和检查”分析工具
■ 宏命令定义的脚本语言
■ 命令行操作
●LMP（逻辑模式处理）推动
■ AADL和XML/XMI剖析
■ 模型查询语言
■ 模型强制语言
■模型转换语言
