嵌入式系统架构验证工具: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/留言,或按以下方式联系旋极智能:

相关推荐
weixin_3077791316 小时前
Windows 11下纯软件模拟虚拟机的设备模拟与虚拟化(仅终端和网络)
windows·系统架构
aiguangyuan1 天前
前端开发性能优化概要
系统架构·vue·react·前端开发
夜影风2 天前
分布式系统中的缓存设计与应用
缓存·系统架构·分布式系统
aiguangyuan3 天前
前端开发 React 状态优化
系统架构·前端开发
蝸牛ちゃん3 天前
主流软件开发方法综述:从敏捷到开源
系统架构·软考高级
geovindu3 天前
ArKTS: DAL,Model,BLL,Interface,Factory using SQLite
数据库·系统架构·sqlite
liupengfei-iot3 天前
物联网后端系统架构:从基础到AI驱动的未来 - 第八章:AI赋能的部署与运维
人工智能·物联网·系统架构
liupengfei-iot3 天前
物联网后端系统架构:从基础到AI驱动的未来 - 第九章:实际案例分析
人工智能·物联网·系统架构
William一直在路上4 天前
12306系统架构的演进
系统架构
aiguangyuan4 天前
React 项目性能瓶颈分析
系统架构·前端开发