Already an MXAM user?
Support & Download

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

How MXAM Supports You

AUTOSAR-Compliant Modeling with MXAM

In this video, you'll learn how MXAM, the leading tool for static analysis, helps improve code quality, safety, and security by developing AUTOSAR-compliant software.

MXAM as part of ISO-Compliant Reference Workflows

In this video, you'll see how MXAM provides support within the ISO 26262-6 reference phase model and corresponding reference workflows to ensure the creation of simply better models.

MXAM is Ready for Automation

In this video, you'll learn how to set up the integration of MXAM into your existing development environment. Highly scalable, and from single workstations to continuous integration.

Static Testing Has Never Been Easier

In this video, you will see how MXAM and MATLAB work hand in hand. MXAM can carry out the static analysis of your model from within Simulink® and apply automatic fixes to guideline violations.

Simply Better Models, in Just 3 Clicks

MXAM - Your guide to better modeling. In this video, you will see how MXAM's automated repair function makes guideline compliance a seamless process.

Modeling Guidelines Ensure Simply Better Models

How modeling guidelines can help you develop simply better models? Watch our experts discuss modeling guidelines, styles, and their influence on various aspects of modeling.

Streamline Process Automation with the MXAM Jenkins Plug-in

The Jenkins plugin provides convenient support for setting up automation

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

Get in Touch with Us

Arrange a live demonstration now, test MXAM for free, or directly ask us whatever questions you may have.

Oliver Collmann
Oliver Collmann
Director Sales

* Mandatory field

Please add 1 and 6.