Simple checking and administration of modeling guidelines
The MES Model Examiner DRIVE® (MXAM DRIVE) offers fast and reliable guideline compliance verification of Simulink®, Stateflow®, TargetLink®, and ASCET models using both established modeling guidelines and company-specific ones.
MISRA® and ISO 26262 compliance
Using a powerful dataflow and control flow analysis, MXAM checks the functional safety properties of your models, such as correct data typing and scaling of data, observance of value ranges, initialization of variables, and interface compatibility.
The MES Model Examiner is available in two editions:
MISRA® Compliance Solution
This edition is the standard solution for those who require MISRA® conformity on model level. It includes guideline checks to verify MISRA® conformity.
Functional Safety Solution
This edition is essential for those developing safety-critical software in compliance with ISO 26262. It fulfills all the key criteria to be ISO-compliant on model level. It includes all guideline checks that come with the MISRA® Compliance Solution, plus additional dataflow and control flow analyses for aspects of functional safety. Complexity measurement with M-XRAY is also a component of this edition.