当前位置：首页 > backend >正文

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

backend 2025/7/2 0:08:27

软件架构建模与早期验证是嵌入式应用的关键环节。架构分析与设计语言（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模型