北京麦禾信通科技有限公司
产品与服务
 
产品
 
咨询与服务
产品详情
AADL Inspector模型分析处理工具
产品详情

AADL Inspector是ellidiss公司推出的AADL模型分析平台,其目的在于提供一个执行AADL静态和动态架构分析的易用和可扩展工具,并且能够轻松连接任何AADL兼容认证工具或代码生成器,包括Stood、Osate、Cheddar和Marzhin等。

选择AADL Inspector的五大理由:

  • 强大的LMP能力有助于提供完备的AADL工具链,完善实时系统建模工作流程;

  • 提供静态分析和动态仿真分析手段,为实时分析和移植工作提高效率;

  • 提供可定制接口,支持“plugin and check”、宏和命令行方式;

  • 提供业内最强大的Cheddar可调度性分析内核及事后处理增强输出模式;

  • 跟踪AADL标准的最新发布,更新软件版本;


AADL Inspector包括以下这些功能:

  • 导入AADL文本(支持单独文件或工程

  • 句法分析(aadlrev

  • AADL V2.1AS-5506B

  • AADL行为附录AS-5506/2附录D +勘误表)

  • AADL错误模型附录AS-5506/1附录E + AS-5506/3附录E草案)

  • AADL ARINC 653附件(AS-5506/2附录F

  • AADL V1V2.0向上兼容

  • 将遗留AADL 1.0 2.0转换到AADL2.1(基于属性相关的原则)

  • UML/MARTE模型导入;
  • 导入GitHubAADL库;
  • 实时和移植向导;
  • 静态规则分析:
  • 对标准文档定义完全可追溯

  • AADL命名规则(第4.14.24.34.4

  • AADL合法性规则(章节4.14.24.34.4

  • AADL一致性规则(4.5章)

  • 架构度量:声明和实例模型

  • 自定义功能(支持AADL子集和项目具体规则)

  • 可调度性分析
  • 集成CHEDDAR v3分析内核

  • AADLCheddar模型转换

  • 事后处理增强输出模式

  • 调度静态仿真VCD数值转储)文件输出

  • 动态仿真
  • 集成MARZIN v2多代理仿真引擎

  • AADL运行时仿真(多处理器和多分区结构

  • 处理器、总线、进程、线程和共享数据的动态时间线显示

  • 异步用户交互:在事件和数据

  • VCD(价值变更转储)的模拟跟踪文件输出

  • 实时属性编辑器
  • 从所有线程事例中提取主要实时属性

  • 提供方便修改的电子表格编辑器

  • 变更可插入文本化声明模块

  • 工具定制能力
  • plugin and check分析工具

  • 宏命令定义脚本语言

  • 命令行选项

  • LMP能力(逻辑模型处理)
  • AADLXML/XMI分析

  • 模型查询语言

  • 模型约束语言

  • 模型转换语言