Main Content

Check Model Compliance by Using the Model Advisor

Model Advisor Overview

The Model Advisor checks your model or subsystem for modeling conditions and configuration settings that cause inaccurate or inefficient simulation of the system that the model represents. The Model Advisor checks can help you verify compliance with industry standards and guidelines. By using the Model Advisor, you can implement consistent modeling guidelines across projects and development teams.

Upon completing the analysis of your model, the Model Advisor produces a report that lists the suboptimal conditions, settings, and modeling techniques and proposes solutions, when applicable.

You can use the Model Advisor to check your model in these ways:

  • Interactively run Model Advisor checks. Without the Simulink® Check™ license, the Model Advisor user interface will have the following drop-down:

  • Configure the Model Advisor to automatically run edit-time checks (requires Simulink Check). With the license, the Model Advisor user interface will have the following drop-down:

These limitations apply when you use the Model Advisor to check your model. For limitations that apply to specific checks, see the Capabilities and Limitations section in the check documentation.

  • If you rename a system, you must restart the Model Advisor to check that system.

  • Model Advisor does not analyze commented blocks.

  • Checks do not search in model blocks or subsystem blocks with the block parameter Read/Write set to NoReadorWrite. However, on a check-by-check basis, Model Advisor checks do search in library blocks and masked subsystems.

  • Unless specified otherwise in the documentation for a check, the Model Advisor does not analyze the contents of a Model block. To run checks on referenced models, use instances of the Advisor.Application class (Simulink Check license required).

  • Model Advisor parallel run is not supported in Simulink Online.

Note

Software is inherently complex and may not be free of errors. Model Advisor checks might contain bugs. MathWorks® reports known bugs brought to its attention on its Bug Report system at https://www.mathworks.com/support/bugreports/. The bug reports are an integral part of the documentation for each release. Examine bug reports for a release as such reports may identify inconsistencies between the actual behavior of a release you are using and the behavior described in this documentation.

While applying Model Advisor checks to your model increases the likelihood that your model does not violate certain modeling standards or guidelines, their application cannot guarantee that the system being developed will be safe or error-free. It is ultimately your responsibility to verify, using multiple methods, that the system being developed provides its intended functionality and does not include unintended functionality.

Model Advisor Checks Documentation

The Model Advisor only displays the checks for your installed products. This table provides links to the product-specific check documentation. A product license may be required to review some of the documentation.

ProductModel Advisor Check Documentation
Simulink Simulink Checks
Embedded Coder® Embedded Coder Checks (Embedded Coder)
AUTOSAR Blockset AUTOSAR Blockset Checks (AUTOSAR Blockset)
Simulink Coder™ Model Advisor Checks (Simulink Coder)
HDL Coder™ HDL Code Advisor Checks (HDL Coder)
Simulink Code Inspector™ Simulink Code Inspector Checks (Simulink Code Inspector)
Simulink Check

Using Model Advisor Checks for High Integrity System Modeling Guidelines

Model Advisor Checks for MAB Modeling Guidelines

Model Advisor Checks for JMAAB Modeling Guidelines

Using Model Advisor Checks for IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Industry Standards

Model Advisor Checks for DO-178C/DO-331 Industry Standards

Model Advisor Checks for DO-254 Standard Compliance

Using Model Advisor Checks for MISRA C:2012 Coding Standards

Model Advisor Checks for CERT C, SWE, and ISO/IEC TS 17961 Coding Standards

Model Metrics

Simulink Design Verifier™ Simulink Design Verifier Checks (Simulink Design Verifier)
Simulink PLC Coder™PLC Model Advisor Checks (Simulink PLC Coder)
Requirements Toolbox™ Check Direct Links for Validity (Requirements Toolbox)
Simscape™ Documentation is available only in the Model Advisor. To review the documentation for the check, in the Model Advisor, right-click on the check title and select What's This?
Simulink Control Design™ Simulink Control Design Checks (Simulink Control Design)
IEC Certification Kit Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
DO Qualification Kit

Model Advisor Checks for DO-178C/DO-331 Industry Standards

Run Model Advisor Checks and Review Results

You can use the Model Advisor to check your model interactively against modeling standards and guidelines. The following example uses the sldemo_mdladv model to demonstrate the execution of the Model Advisor checks using the Model Advisor.

  1. To open the Model Advisor example model, at the MATLAB® command line:

    openExample('sldemo_mdladv')

  2. To open the Model Advisor, in the Simulink editor, click the Modeling tab and select Model Advisor. A System Selector dialog opens. Select the model or system that you want to review and click OK.

  3. In the left pane of the Model Advisor, select the checks you want to run on your model:

    1. You can select the checks by using the By Product or By Task folders.

      • Show By Product Folder ― Displays checks available for each product

      • Show By Task Folder ― Displays checks related to specific tasks

    Checks with the icon Update Diagram icon trigger an update of the model diagram.

    Checks with the icon Extensive Analysis icon trigger an extensive analysis of the model. Checks that trigger extensive analysis of the model use additional analysis techniques, such as analysis with Simulink Design Verifier.

  4. Click on the folder that contains the checks and, on the toolstrip, select Run Checks to execute the analysis. To run a single check, right-click the check in the folder and select Run This Check.

  5. View the results on the Model Advisor User Interface. This table shows the common check status results; notice that different icons are used depending on the parameter set for Check result when issues are flagged in the Model Advisor Configuration Editor (requires a Simulink Check license). For more information about this parameter, see Specify Parameters for Check Customization.

    Check Result Status

    IconDescription

    Passed

    Pass icon when the flag for checks result is set to warning

    Model does not have any violations for the given check(s).

    Failed

    Fail icon

    Check has identified severe violations.

    Warning

    Warning icon

    Check has identified violations.

    Justified

    justification icon

    Check violations are justified.

    Not Run

    Not Run icon

    Check not selected for Model Advisor analysis.

    Incomplete

    Incomplete icon

    Check analysis is incomplete or check execution has resulted in exceptions.

    Information

    Information icon

    Informational violation status

  6. Fix the warnings or failures as desired. For more information, see Address Model Check Results.

  7. Use the Exclusions tab to review checks that were marked for exclusion from the analysis.

  8. View and save the report. For additional information, see Save and View Model Advisor Check Reports and Generate Model Advisor Reports.

Related Topics