The Model Examiner ensures that your Simulink® and TargetLink® models are consistent with established standards such as MISRA and IEC 61508, and your own internal requirements. 

Why should you use the Model Examiner?

The increasing use of industry standards means that it is more important than ever to have reliable tools to quickly verify compliance with those standards. The Model Examiner from MES offers a clear and convenient means for Simulink® users to check that their model is well-constructed and compliant with many of today‘s standards, such as MISRA and IEC 61508.

 What Does The Model Examiner Do?

With an easy-to-use interface, the tool checks the model and highlights problem areas, offering repairs and corrections where appropriate. This tool is the only one to offer compliance with the new MISRA standard for automatic code generation and offers support for all Simulink® and Stateflow® models, as well as TargetLink® support. 

Benefits

1. Automated checking of Simulink®, Stateflow®, and TargetLink® style guidelines
2. Checks for MISRA TargetLink, dSPACE TargetLink, and MAAB guidelines.
3. Checks for TargetLink known problems
4. Automated repair of guideline violations
5. Clear reporting of detected and corrected guideline violations
6. Easy integration into project-specific development environments
7. Unified access to the guidelines via the e-Guidelines Server
8. Fully-functional API for developing and integrating your own model checks
9. Check parameterization
10. Includes more than 100 guideline checks
    (list of available checks)

Pricing

We employ a tiered pricing model with special rates for multi-user licenses, group licenses, site licenses, or company licenses.

More details can be found here.

Trial

We are happy to issue you with a fully-functional license enabling you to test the Model Examiner for a period of 4 weeks. You can download your free trial version here: Trial version

Downloads

• MXAM setup
• User guide 
• Product flyer
• Template M-file for writing custom checks
• Release notes 

Tool support and system requirements

• MATLAB R14SP3 +
• TargetLink 2.x, 3.0
• JRE 1.5+

Versions

V 1.5 was released on 31 May 2011

• Enhenced report layout
• PDF report overview
• MES color check for SL and SF
• Batch function

V 1.4 was released on 18 Nov 2009

• Parameterization for MAAB and dSpace checks
• Enhanced reporting with link to parameter sources
• Ignore list context menu
• DB import of custom checks

V 1.3 was released on 17 Feb. 2009

• Enterpise Solution
• Checks for TargetLink known problems
• TargetLink 3.0 support

V 1.2 including MISRA AC TL checks was released on 22 Sept. 2008

• Checks for MISRA AC TargetLink guidelines
• Ignore list
• Report statistics

V 1.1 the first official version was released on 25 Feb. 2008

Model Examiner is available in two editions: Standard and Enterprise.

Model check programming support

Your trusted partner for company-specific guideline implementation

Major OEMs of the German automotive industry are relying on our expertise in check implementation for their company-specific modeling guidelines. For that reason, we implemented model checks for companies such as Daimler, Volkswagen, and AUDI covering complete sets of company-specific modeling guidelines.

If you require additional, special model checks, Model Engineering Solutions would be happy to implement them for you.

Just call us or send us an email.