Static Testing with MES Model Examiner® (MXAM)
The MES Model Examiner® (MXAM) is the leading tool to ensure the comprehensive static analysis of your models. As the Functional Safety Solution, MXAM analyzes model structure and evaluates model metrics, while providing an easy way to review modeling guidelines, making it an all-in-one tool.
The integration of MES Model & Refactor® (MoRe) also makes your daily modeling tasks even easier, faster, less error-prone and supports the correction of guideline violations.
Your MXAM Benefits
Static Testing
MXAM provides essential support for safety activities in the certified workflow
Compliance
Ensure compliance with modeling guidelines and safety or quality standards (ISO 26262, ISO 25119, IEC 61508, DO 178B/C, ASPICE etc.)
Quality Assurance
Evaluate quality in models regarding design principles and modeling guidelines
Simply Better Models
Repair and guided model improvements with a guideline-compliant layout at the touch of a button
Model-Based Design
MXAM and Simulink work hand in hand – seamlessly integrate it into an MBD toolchain
Model Analysis
Automatically analyzes software models with fast results – generates reports with detailed findings and quick navigation in various formats
Scalability
Manages even large software models with ease, from single workstations to company-wide solutions
Enhanced Code Generation
MXAM supports compliant software for standards like AUTOSAR – improve code quality, safety, and security
Automation
MXAM supports all common platforms, on-premises or cloud – easily integrate it into your toolchain with a central and scalable setup
Stay with Your Toolchain
Streamline Process Automation with the MXAM Jenkins Plug-in
Effortlessly integrate MXAM into your Jenkins-based automation pipeline using our versatile MXAM Jenkins plug-in for quality assurance automation. This powerful tool seamlessly integrates MXAM's core functionalities within the Jenkins automation pipeline.
Simply select the desired model, appropriate set of guidelines, and define pass/fail criteria. Additionally, generate and publish comprehensive reports detailing the findings. Configuration can be effortlessly accomplished through the intuitive MXAM Jenkins plug-in UI or via Jenkins code.
For enhanced convenience, incorporate email notifications can keep you informed about the automation process.
What Our Customers Say About MXAM
Ensure Compliant Models for Different Standards
MXAM automatically checks modeling guidelines from state-of-the-art standards and reports the results in a comprehensive way. Here is a selection of automatically checkable guidelines:
MAB
- jc_0141: Usage of Switch blocks (watch video)
- jc_0773: Unconditional transition of a flow chart (watch video)
- jc_0451: Use of unary minus on unsigned integers
- db_0141: Signal Flow in Simulink Models
MISRA
- misra_slsf_006_b: Block Parameters - Calibration Parameters
- misra_slsf_036_c: Stateflow/Simulink Interface Signals, Parameters and Naming - Name of Inputs/Outputs
- misra_slsf_010_b: Arithmetic Operation Order - Product Block
- misra_slsf_053_j: Transition Positioning - Number of Terminating Junctions
MES Guidelines
- mes_slsf_3800: Avoid Duplicate Stateflow Code (watch video)
- mes_slsf_1302: Redundant AND condition in transitions (watch video)
- mes_arch_1301: Restricted Local Complexity
- mes_arch_1307: Aviod Redundant Modeling (clones)
Certified for ISO 26262, IEC 61508, and ISO 25119
The Model Examiner is certified by TÜV SÜD as a T2 Offline Support Tool for use in safety-relevant embedded software development in compliance with ISO 26262, IEC 61508, and ISO 25119. Designed for function developers, testers, and quality managers in model-based development on the MATLAB®/Simulink®, Embedded Coder®, and TargetLink® platforms.
Next Webinars and Training Classes
Get in Touch with Us
Arrange a live demonstration now, test MXAM for free, or directly ask us whatever questions you may have.
