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

MES Model & Refactor ® (MoRe) 是使用 MATLAB Simulink ® 进行建模提高生产力的工具。它集成在MATLAB Simulink ® 上下文菜单中，可在 R2009b 及更高版本的 Simulink ® 版本下使用。 MoRe 在建模过程中为用户提供支持，并减少常见、耗时和单调的工作量。基于 Simulink®中这些改进的编辑功能，使建模过程得以简化、不易出错且速度更快。尤其是在用户进行模型重构时，工作变得更加容易。

MES Quality Commander®捕获整个软件生命周期中与产品质量相关的所有关键数据。作为用于定性软件开发的动态管理和控制工具，它为您提供了决策和可靠的风险控制客观基础。MES Quality Commander®根据所有相关开发工件以及相应的状态和性能指标来评估软件产品的质量和可行性。