MES Model Examiner® (MXAM)
模型静态测试工具
Model Examiner - 功能安全解决方案（以下简称MXAM）测试套件是您进行全面静态模型分析的首选工具。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标，所有这些功能都可以通过模型静态测试工具软件MXAM来完成。
MXAM通过自动运行模型规范检查以及自动修复或引导用户手动修复结果偏差为用户提供全面的模型检查与优化方案，有效地确保您的软件模型符合ISO 26262标准。 MXAM工具的独特功能 - 持续偏差注释，允许您对个别规范的违规进行偏差注解，以此说明允许偏差接受的情形。MXAM 的注释功能支持对可自动检查和不可自动检查的规范进行持续跟踪，并记录检查的过程。
通过ISO 26262、IEC 61508和ISO 25119认证
MXAM专为功能开发人员、测试人员和质量经理在MATLAB®/Simulink®、Embedded Coder®和TargetLink®平台上进行基于模型的开发而设计，并通过了TÜV SÜD（南德意志技术监督协会）认证，可用于安全相关的嵌入式软件开发过程，符合ISO 26262、IEC 61508和ISO 25119标准。
多种MXAM版本满足您的需求
借助MXAM功能安全解决方案，您将完全具备符合功能安全开发标准的模型开发能力。MXAM提供定制版本，可根据您想要实现的需求进行量身定制，如MXAM MISRA®合规解决方案（MCS）严格注重遵守MISRA®标准，ASCET合规解决方案专门用于ASCET高效建模。当然，MXAM也提供公司定制版本以确保快速可靠地验证您企业特有的建模规范。MXAM所特有的全面的管理框架为您提供全面高效的集成检查方案。
从单个工作站到持续集成（MES Jenkins插件支持CI Jenkins服务器），MXAM与您现有开发环境结果简单配置便可实现工具链间的高效扩展和无缝集成。
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的要求。
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的特殊框架确保了大型建模规范及验证方案库的便捷管理。用户可随意添加用户自定义建模规范及检查方案。全面便捷的管理模式保证了模型质量的可追朔性。模型验证结果可随时再现。