MES Model Examiner® (MXAM)
模型静态测试工具
Model Examiner - 功能安全解决方案(以下简称MXAM)测试套件是您进行全面静态模型分析的首选工具。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标,所有这些功能都可以通过模型静态测试工具软件MXAM来完成。
MXAM通过自动运行模型规范检查以及自动修复或引导用户手动修复结果偏差为用户提供全面的模型检查与优化方案,有效地确保您的软件模型符合ISO 26262标准。 MXAM工具的独特功能 - 持续偏差注释,允许您对个别规范的违规进行偏差注解,以此说明允许偏差接受的情形。MXAM 的注释功能支持对可自动检查和不可自动检查的规范进行持续跟踪,并记录检查的过程。

通过ISO 26262、IEC 61508和ISO 25119认证
客户如何评价MXAM
沃尔沃汽车
梅赛德斯-奔驰集团
梅赛德斯-奔驰北美研发中心 (MBRDNA)
MXAM - 功能安全解决方案
借助MXAM功能安全解决方案,您将完全具备符合功能安全开发标准的模型开发能力。
从单个工作站到持续集成(MES Jenkins插件支持CI Jenkins服务器),MXAM与您现有开发环境结果简单配置便可实现工具链间的高效扩展和无缝集成。MXAM同样为Linux和Windows提供云和Docker解决方案支持。
MXAM 主要优点概述:
高效
- 是模型审核及模型优化的高效助手
- 自动化的模型分析,配置简单灵活,高效满足客户要求
可扩展
- 轻松检验大型模型系统
- 适用于单独工作站到公司范围的软件工具链无缝集成
控制
- 有效管理建模规范及其测试方案
- 支持各种软件工具链整合技术(如Jenkins, Gitlab 等集成环境)
一致性
- 确保模型达到建模规范及国际安全标准 (ISO26262, ISO 25119, IEC61508, DO178C etc.) 的要求
- 符合 ISO26262 要求的质量工具包
MXAM如何支持您
1. 建立完美的模型

最佳的建模实践经验帮助您及早发现或避免建模错误从而为下一步模型的功能验证做好准备。MXAM验证模型是否符合MISRA SL/SF、MISRA TL和 Embedded Coder建模标准并对TargetLink模型的已知问题进行有针对性的检验。MES功能安全文档额外提供确保安全相关软件功能模块开发的建模标准,从而使建立的模型满足国际安全标准ISO 26262、ISO 25119、IEC 61508以及DO 178B/C的要求。
3. 优化模型以防止编码错误
基于模型的软件开发中软件模型是软件代码的基础。优化的软件模型确保软件代码生成的自动化,从而节省开发资源,将有限资源投用到如功能开发及检验等更迫切需要的地方。MXAM对于常见的软件代码生成工具诸如Embedded Coder、TargetLink以及ASCET提供特定的建模规范文档以保障软件模型质量,使其达到自动高效代码生成的要求。
4. 综合报告并提供模型修复建议

MXAM给出一目了然的建模规范审核结果。如发现错误MXAM直接指出出现错误的模型部分并给出错误分析以及修改建议。在多数情况下校正功能还可自动修复错误模型部分。MXAM是一个保证建模质量的非常省时、便捷的工具。
以MXAM为主题的培训课程
tudoor学院的培训课程涵盖与安全和软件相关的多个主题,以及有关MXAM和静态模型测试的各种课程。