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 MathWorks^® Advisory Board (MAB) modeling guidelines. Start with Check Model Compliance by Using the Model Advisor.

Classes

expand all

Model Advisor Application

`Advisor.Application`	Run Model Advisor across model reference hierarchy and variants
`Advisor.Manager`	Manage Model Advisor applications

Functions

expand all

Edit-Time Checking

`edittime.enableCheck`	Enable disabled custom edit-time check (Since R2022a)
`edittime.getAdvisorChecking`	Determine whether edit-time checking is on
`edittime.setAdvisorChecking`	Check your model interactively against modeling standards

Model Advisor Exclusions

`Advisor.getExclusion`	Get exclusion information from model or exclusion file (Since R2021a)
`Advisor.addExclusion`	Add exclusions to model or exclusion file (Since R2021a)
`Advisor.removeExclusion`	Removes exclusions from model or exclusion file (Since R2021a)
`Advisor.saveExclusion`	Save exclusions to model or exclusion file (Since R2021a)
`Advisor.loadExclusion`	Load exclusions from exclusion file (Since R2021a)
`Advisor.clearExclusion`	Clear all exclusions from model or exclusion file (Since R2021a)

Topics

Model Advisor

Check Model Compliance by Using the Model Advisor
Use the Model Advisor to check that a model or subsystem complies with modeling guidelines or standards.
Check Model Compliance Using Edit-Time Checking
Use edit-time checking to check that a model or subsystem complies with modeling guidelines or standards.
Use Model Advisor Configuration Editor to Customize Model Advisor
Use the Model Advisor Configuration Editor to customize the configuration of the Model Advisor checks and folders.
Generate Model Advisor Reports
Configure the Model Advisor to generate reports in additional formats.
Run Custom Model Advisor Checks on Architecture Models
Use the Model Advisor to run checks on a System Composer™ architecture model.
Exclude Blocks from Model Advisor Check Analysis
You can limit the scope of a Model Advisor model or subsystem analysis.
Programmatically Exclude Blocks from Model Advisor Check Analysis
Use MATLAB^® functions to create, modify, and save Model Advisor exclusions.
Justify Model Advisor Violations from Check Analysis
Provide a rationale for why you are allowing a violation to exist in your design.
Model Advisor Considerations and Limitations
Describes limitations and considerations of Model Advisor.

Model Advisor Checks

Model Advisor Checks for High-Integrity Systems Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the High Integrity System Model modeling guidelines.
Model Advisor Checks for MAB Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the MathWorks Advisory Board (MAB) modeling guidelines.
Model Advisor Checks for JMAAB Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the Japan MathWorks Automotive Advisory Board (JMAAB) modeling guidelines.
Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
Use Model Advisor checks to verify compliance with IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128 industry standards.
Model Advisor Checks for DO-178C/DO-331 Industry Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with DO-178C/DO-331 industry safety standards.
Model Advisor Checks for DO-254 Standard Compliance
Use the Model Advisor to check that a model or subsystem complies with parts of the DO-254 safety standard.
Model Advisor Checks for MISRA C:2012 Coding Standards
Use the Model Advisor to improve the likelihood of generating code that complies with MISRA C:2012 coding standards.
Model Advisor Checks for CERT C, SWE, and ISO/IEC TS 17961 Coding Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with secure coding standards.
Model Advisor 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.