Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English version of the page.

Note: This page has been translated by MathWorks. Click here to see
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.

Check Model Compliance

Verify model compliance with safety standards and guidelines

To apply modeling guidelines across projects and development teams, you can use the Model Advisor to run checks on your model. When you run the checks, the Model Advisor reviews your model for conditions and configuration settings specified by the check.

Simulink® Check™ includes Model Advisor checks for compliance with safety standards associated with High-Integrity System Modeling and MAAB Control Algorithm Modeling guidelines. Start with Check for Compliance Using the Model Advisor and Edit-Time Checking.

Classes

Advisor.ApplicationRun Model Advisor across model hierarchy
Advisor.ManagerManage applications

Topics

Model Advisor

Check for Compliance Using the Model Advisor and Edit-Time Checking

Use the Model Advisor and edit-time checking to check that a model or subsystem complies with modeling guidelines or standards.

Limit Model Checks

You can limit the scope of a Model Advisor model or subsystem analysis.

Limit Model Checks By Excluding Gain and Outport Blocks

This example shows how to exclude a Gain block and all Outport blocks from a Model Advisor check during a Model Advisor analysis.

Generate Model Advisor Reports in Adobe PDF and Microsoft Word Formats

Configure the Model Advisor to generate reports in additional formats.

Set MAAB and JMAAB Checks to Check Under Masks or Follow Links

Control whether MAAB and JMAAB checks look under masks or follow links

Model Advisor Checks

Model Checks for DO-178C/DO-331 Standard Compliance

Use the Model Advisor to check that a model or subsystem complies with parts of the DO-178C safety standard.

Model Checks for IEC 61508, IEC 62304, ISO 26262, and EN 50128 Standard Compliance

Use the Model Advisor to check that a model or subsystem complies with parts of the IEC 61508, IEC 62304, ISO 26262, and EN 50128 safety standards.

Model Checks for MathWorks Automotive Advisory Board (MAAB) Guideline Compliance

Use the Model Advisor to check that a model or subsystem complies with parts of the MathWorks® Automotive Advisory Board (MAAB) Guidelines.

Model Checks for Japan MATLAB Automotive Advisory Board (JMAAB) Guideline Compliance

Use the Model Advisor to check that a model or subsystem complies with parts of the Japan MATLAB® Automotive Advisory Board (JMAAB) Guidelines.

Model Checks for MISRA C:2012 Compliance

Use the Model Advisor to check that your model is most likely to produce MISRA C:2012 compliant code.

Model Checks for Secure Coding (CERT C, CWE, and ISO/IEC TS 17961 Standards)

Use Model Advisor to check that code complies with CERT C, CWE, ISO/IEC TS 17961 secure coding standards.

Model Checks for Requirements Links

Use the Model Advisor to check that every requirements link in a model has a valid target in a requirements document.

Was this topic helpful?