MES Model Examiner® DRIVE (MXAM) offers fast and reliable guideline compliance verification for Simulink®, Stateflow®, Embedded Coder®, TargetLink®, ASCET®, and Enterprise Architect® models, as well as Excel® data, using general and company-specific modeling guidelines and data rules.
ISO 26262-compliant safeguarding of modeling guidelines
MXAM includes all guidelines of the current modeling standards for MATLAB®. The MXAM MISRA Compliance Solution and MXAM Functional Safety Solution editions enable fast, easy-to-follow safeguarding of models in compliance with MISRA® and ISO 26262. This optimally prepares you for automatic code generation with Embedded Coder® or TargetLink®.
The MXAM ASCET Solution edition offers best practice guidelines for modeling ASCET models efficiently.
Of course, MXAM can also be used to quickly and reliably check company-specific modeling guidelines. MXAM provides a comprehensive management framework to integrate these checks.
Highly efficient support for model review and optimization
Easy configuration of fully automated analysis
Manages even large systems of models with ease
From single workstation to company-wide solution
Comprehensive guideline and check management
Support of multiple tool-chain integration technologies
Ensure compliance with modeling guidelines and safety standards (ISO 26262, IEC 61508, DO 178B/C, etc.
How MXAM supports you:
1. Robust models
Regarding modeling style, focusing on best practices helps to prevent modeling errors at an early stage, which allows further functional verification of robust models. In MXAM, the MISRA SL/SF, MISRA TL, as well as the TargetLink Known Problems modeling guideline standards safeguard the robustness of models. The MES Functional Safety document also provides further guidelines for safeguarding safety-critical software functions in robust models. This supplement therefore allows modeling in compliance with safety standards such as ISO 26262, ISO 25119, IEC 61508, and DO 178B/C.
2. Reduced maintenance efforts
A uniform layout of models increases their legibility and maintainability, helping to identify errors. MXAM ensures this with the MAAB standard guidelines, supplemented by other MES Layout and MES Best Practice guidelines.
3. Optimized models for automated coding
Software code is based on the software model in model-based development. If the models are optimally prepared, the code generation can be automated and there is only minimal processing time. This saves development resources and allows the use of capabilities where they are needed: in functional development. For current code generators, MXAM offers specific guideline documents, in the form of the Embedded Coder document, TargetLink document, and ASCET document, to make your models fit for efficient automated code generation.
4. Comprehensive reports and guided model repair
MXAM presents a clear overview of your guideline check results. If an error occurs, MXAM will take you directly to the problem, provide a description of the error and possible solutions, and, in many cases, offer a repair function that, on request, automatically fixes the error; a time-saving and convenient way to smooth out any bumps in your model.
5. Interactive peer review in the model
MXAM allows you to post comments on individual rule violations in the form of annotations. In this way, reviews and possible revaluations of results can be consistently tracked and documented. Via this function, MXAM guarantees complete documentation of guideline checks, both for automatically and only manually testable guidelines.
6. Flexible documentation
MXAM offers comprehensive reporting possibilities to document checks. Reports can be created in HTML, PDF, EXCEL, and XML formats.
7. Convenient management of modeling guidelines
A special framework allows for convenient management of the extensive guideline and check library in MXAM. In addition, internal guidelines and checks can easily be integrated into the library and managed.
MXAM editions in comparison: