MES Model Examiner® (MXAM)

自动化模型检验

MES Model Examiner® (MXAM) 是对MATLAB Simulink®/Stateflow® -, MathWorks Embedded Coder®-, dSPACE TargetLink® -, SparxSystems Enterprise Architect®- und ETAS ASCET®- 模型进行自动化建模规范检验的首选工具软件

按ISO 26262的标准检验建模规范

MXAM 包含MATLAB®的建模规范和标准。MXAM MISRA Compliance Solution 以及 MXAM Functional Safety Solution 两种技术方案确保MISRA®- 以及 ISO 26262建模规范检验修改更快捷更明确。使软件模型为下一步自动代码生成(Embedded Coder或TargetLink)做好准备.

MXAM ASCET Solution技术方案 为有效生成ASCET-模型提供最佳经验指南.

满足ASPICE中对模型验证文本格式及交流的要求

MXAM可以完美达到ASPICE对模型验证文本及交流的要求

用户特殊定制

用户特定建模规范亦可快速及可靠的使用MXAM 进行检验。MXAM为用户特定的建模规范的测试方案提供一个全面的管理框架 。

 

 

MXAM主要优点概述:

 
高效简洁测试流程
  • 是模型审核及模型优化的高效助手
  • 自动化的模型分析,极易按用户要求进行配置
可扩展性
  • 轻松检验大型模型系统
  • 可在单独工作站使用亦可被集成到公司范围的软件工具链中
控制
  • 有效管理建模指南及其测试方案
  • 支持各种软件工具链整合技术
一致性
  • 确保模型达到建模规范及国际安全标准(ISO26262, IEC61508, DO178C etc.)的要求

 

MXAM为您提供以下支持:

1. 建立完美的模型
建立完美的模型

最佳的建模实践经验帮助您及早发现或避免建模错误从而为下一步模型的功能验证做好准备。MXAM验证模型是否符合MISRA SL/SF, MISRA TL, Embedded Coder建模标准并对TargetLink模型的已知问题进行有针对性的检验。MES功能安全文档额外提供确保安全攸关软件功能模块开发的建模标准. 从而使建立的模型满足国际安全标准ISO 26262, ISO 25119, IEC 61508 以及 DO 178C的要求

2. 极大减少模型维护成本
极大减少模型维护成本

统一的模型布局提高了模型的可读性及维护性从而可以快速识别错误。确保达到此目的MXAM 集成了MAAB 建模标准以及MES 建模布局建议及最佳经验。

3. 为无误自动编码优化模型

基于模型的软件开发中软件模型是软件代码的基础。优化的软件模型确保软件代码生成的自动化。从而节省开发资源。 以期将有限资源投用到如功能开发及检验等更迫切需要的地方. MXAM对于常见的软件代码生成工具诸如Embedded Coder, TargetLink 以及 ASCET提供特定的建模规范文档以确保建立的软件模型质量使其达到自动高效代码生成的要求。

4. 综合报告并为模型修复建议
综合报告并为模型修复建议

MXAM给出一目了然的建模规范审核结果。如发现错误MXAM直接指出出现错误的模型部分并给出错误分析以及修改建议。在多数情况下校正功能还可自动修复错误模型部分。MXAM是一个保证建模质量的非常省时,便捷的工具。

5. 互动式的模型的同行评审
互动式的模型的同行评审

MXAM中可通过注释添加个人的模型违规意见. 从而使得模型审核及评价结果被持续记录下来。MXAM 全面,完整的总结和记录了手动及自动建模规范验证的结果。

6. 多样的报告形式
多样的报告形式

MXAM 自动进行模型审核并记录结果生成报告. MXAM 报告可以以HTML-, PDF-, EXCEL- 和XML-的格式按照用户自定义模板来生成.

7. 舒适管理建模规范
舒适管理建模规范

MXAM 的特殊框架确保了大型建模规范及验证方案库的便捷管理。可随意添加用户自定义建模规范及测试方案。通透的管理模式保证了模型质量的可追朔性。 模型验证结果可随时再现。

MXAM 版本对比:

MXAM Guidelines Checks