Check Your Model 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
Configure the Model Advisor to automatically run edit-time checks (requires金宝app®Check™)
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.
在系统,包含一个variant subsystem, the Model Advisor checks the active subsystem. To check both the active and inactive subsystems, set the
Advisor.Application
(Simulink Check)property,AnalyzeVariants
, totrue
.Model Advisor does not analyze commented blocks.
Checks do not search inmodelblocks orsubsystemblocks with the block parameterRead/Writeset 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 aModelblock. To run checks on referenced models, use instances of the
Advisor.Application
(Simulink Check)class (Simulink Check license required).
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//www.tatmou.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.
Product | Model Advisor Check Documentation |
---|---|
金宝app | Simulink Checks |
Embedded Coder® | Embedded Coder Checks(Embedded Coder) |
AUTOSAR Blockset | AUTOSAR Blockset Checks(AUTOSAR Blockset) |
Simulink Coder™ | Simulink Coder Checks(Simulink Coder) |
HDL Coder™ | HDL Code Advisor Checks(HDL Coder) |
Simulink Code Inspector™ | Simulink Code Inspector Checks(Simulink Code Inspector) |
Simulink Check | DO-178C/DO-331 Checks(Simulink Check) IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Checks(Simulink Check) Model Checks for DO-254 Standard Compliance(Simulink Check) High Integrity System Modeling Checks(Simulink Check) Model Advisor Checks for MAB and JMAAB Compliance(Simulink Check) MISRA C:2012 Checks(Simulink Check) Secure Coding Checks for CERT C, CWE, and ISO/IEC TS 17961 Standards(Simulink Check) Model Metrics(Simulink Check) |
Simulink Design Verifier™ | Simulink Design Verifier Checks(Simulink Design Verifier) |
Simulink PLC Coder™ | PLC Model Advisor Checks(Simulink PLC Coder) |
要求工具箱™ | Requirements Consistency Checks(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 selectWhat's This? |
Simulink Control Design™ | Simulink Control Design Checks(Simulink Control Design) |
IEC Certification Kit | IEC Certification Kit Checks(IEC Certification Kit) |
做资格工具包 | 做资格工具包Checks(DO Qualification Kit) |
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 thesldemo_mdladv
model to demonstrate the execution of the Model Advisor checks using the Model Advisor.
Open the Model Advisor example model
sldemo_mdladv
.To open the Model Advisor, in the Simulink editor, click theModelingtab and selectModel Advisor. ASystem Selector ― Model Advisordialog box opens. Select the model or system that you want to review and clickOK.
In the left pane of the Model Advisor, select the checks you want to run on your model:
You can select the checks by using theBy ProductorBy Taskfolders.
Show By Product Folder― Displays checks available for each product
Show By Task Folder― Displays checks related to specific tasks
Checks with the icontrigger an update of the model diagram.
Checks with the icontrigger an extensive analysis of the model. Checks that trigger extensive analysis of the model use additional analysis techniques, such as analysis withSimulink Design Verifier.
Click on the folder that contains the checks and, on the toolstrip, selectRun Checksto execute the analysis. To run a single check, right-click the check in the folder and selectRun This Check.
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 forCheck result when issues are flaggedin the Model Advisor Configuration Editor (requires aSimulink Checklicense). For more information about this parameter, seeSpecify Parameters for Check Customization(Simulink Check).
Check Result Status
Icon Description Passed
Model does not have any violations for the given check(s).
Failed
Check has identified severe violations.
Warning
Check has identified violations.
Justified
Check violations are justified.
Not Run
Check not selected for Model Advisor analysis.
Incomplete
Check analysis is incomplete or check execution has resulted in exceptions.
Fix the warnings or failures as desired. For more information, seeAddress Model Check Results.
Use theExclusionstab to review checks that were marked for exclusion from the analysis.
View and save the report. For additional information, seeSave and View Model Advisor Check ReportsandGenerate Model Advisor Reports(Simulink Check).
Run Model Checks Programmatically
If you haveSimulink Check, you can create MATLAB®scripts and functions so that you can run the Model Advisor programmatically. For example, you can create aModelAdvisor.run
(Simulink Check)function to check whether your model passes a specified set of the Model Advisor checks every time that you open the model and start a simulation.
Related Examples
- Run Model Advisor Checks and Review Results(Simulink Check)
- Address Model Check Results
- Save and View Model Advisor Check Reports