Model Examiner 提供快速可靠的规范一致性验证，主要面向使用公认建模规范和公司特定建模规范的 Simulink®、Stateflow®、TargetLink® 和 ASCET 模型。

MISRA® 与 ISO 26262 合规

MXAM 使用功能强大的数据流和控制流分析，检查您模型的功能安全属性，例如正确的数据输入、数据大小的调整、是否遵守值范围、变量初始化和接口兼容性。

MXAM 版本

Model Examiner 提供两个版本：

MISRA® Compliance Solution

该版本是标准的解决方案，适用于那些需要 MISRA® 以模型级别验证一致性的用户。该产品包括用来验证 MISRA® 一致性的规范检查。

Functional Safety Solution
该版本对于那些开发符合 ISO 26262、且注重安全性的软件的用户而言，是一款不可或缺的软件。它使所有关键标准都以模型级别符合 ISO。该版本不仅包括 MISRA® Compliance Solution 提供的所有规范检查，还拥有额外的针对功能安全方面的数据流和控制流分析。利用 M-XRAY 进行复杂性测量也是此版本的一个组件。