嵌入式系统架构验证工具：AADL Inspector v1.10 全新升级

软件架构建模与早期验证是嵌入式应用的关键环节。架构分析与设计语言（AADL）是专为应用软件及执行平台架构模型设计的语言，兼具文本与图形化的双重特性。AADL Inspector是一款轻量级的独立工具：

️ 核心处理能力包括

√ 支持处理AADL v2.3标准（SAE AS-5506D）

√ 深度兼容行为附录（Behavior Annex）

√ 集成错误模型附录（Error Annex, EMV2）

√ 通过丰富语义实现跨领域系统保障案例构建

• 静态属性分析

• 实时性验证

• 功能安全保障

• 网络安全评估

○ 支持大规模软件密集型系统的前端建模语言

○ 作为软件开发工具链的枢纽格式

️ 工具架构与界面组成

易用图形用户界面包含三个核心组件：

• AADL源文件浏览器：支持定义层次化项目结构并清晰访问现有库
• 多文档编辑环境：支持跨文件协同开发
• 可定制化工具选项卡组：用于激活并展示处理工具的输出结果

️ AADL Inspector v1.10 新版功能列表

️▷ 支持SysMLv2

• SysMLv2文本化符号解析器与打印器
• 支持SysMLv2 domain library
• SysMLv2与AADL模型双向转换

️▷ AADL文本规范导入

• 支持单文件或层次化项目导入
• 语法分析（aadlrev）
• 兼容标准：

○ AADL v2.3(AS-5506D)

○ AADL行为附录v2.0(AS-5506/3 Annex D)

○ AADL错误模型v2.0(AS-5506/1A Annex E)

○ AADL ARINC653附录(AS-5506/1A Annex A)

○ AADL FACE™附录(AS-5506/4 Annex F)

• 向上兼容AADL v1、v2.0及v2.1版本
• 支持旧版AADL模型转换至v2.2（属性关联存在部分限制）

️▷ 外部模型导入/导出

• 支持FACE™、SysML及Capella模型导入
• 支持从GitHub导入AADL库

️▷ 实时与部署向导

• 提供实时系统部署配置指导

️▷ 静态规则检查器

• 集成OCARINA语法与语义分析器（开箱即用）
• 基于LMP的可定制AADL规则检查
• 声明式模型度量
• 自动检测根系统
• 自动生成实例模型

️▷ 时序分析

• 集成CHEDDAR v3.2分析内核（即装即用）
• AADL至Cheddar模型转换
• 增强型后处理输出格式
• 调度静态模拟的VCD（Value Change Dump）文件输出
• 响应时间分析
• 调度感知端到端流延迟分析（SAFLA）

️▷ 基于事件的仿真

• 集成MARZHIN v2多代理仿真引擎（即插即用）
• AADL运行时环境仿真（多核/多处理器/多分区架构）
• 动态时间线显示（处理器/总线/进程/线程/共享数据）
• 异步用户交互：输入/输出事件与数据
• 仿真场景（输入端口）与探针（输出端口）
• 仿真轨迹的VCD文件输出

️▷ 模型属性电子表格

• 从所有线程实例提取关键实时属性
• 软件至硬件分配关系展示

️▷ 安全性分析

• 从AADL错误附录生成OpenPSA描述文件
• 通过Bridger启动Arbre Analyste进行故障树分析

️▷ 保密性分析

• 可定制的安全策略规则实施
• 安全规则定义与验证（LAMP）

️▷ PDF文档生成器

️▷ Ada与C代码生成器（Ocarina）

• 支持多语言代码自动生成

️▷ 工具定制能力

• "即插即验"分析工具集成
• 插件定义脚本语言支持
• 命令行选项配置

️▷ LAMP驱动功能（逻辑AADL模型处理）

• AADL与XML/XMI/CSV解析
• 模型查询语言
• 模型约束语言
• 模型转换语言
• AADL规范中的嵌入式规则（LAMP附录）

️▷ 与STOOD的双向工程

• 自动生成可编辑的AADL实例图
• 从AADL文本到STOOD设计的模型转换
• 基于STOOD设计生成声明式AADL模型

了解相关️技术信息及️商务服务，请访问http://www.softtest.cn/留言，或按以下方式联系️旋极智能：