Simulink Check Checks
Simulink Check Model Advisor Checks
Simulink® Check™ checks facilitate designing and troubleshooting models from which code is generated for applications that must meet safety or mission-critical requirements and modeling guidelines.
For descriptions of the modeling standards checks, see Model Advisor Checks for Modeling Guidelines, Industry Standards, and Coding Standards.
Requirements Toolbox Checks
Requirements Toolbox™ checks facilitate linking between requirements documentation and your model.
For descriptions of the requirements consistency checks, see Requirements Consistency Checks (Requirements Toolbox).
Model Advisor Checks for Modeling Guidelines, Industry Standards, and Coding Standards
You can use Model Advisor checks to facilitate the design and troubleshooting of models from which code is generated for applications that must meet safety or mission-critical requirements. A Simulink Check license is required to execute these checks. Where applicable, additional license requirements are identified in the check-specific documentation.
For descriptions of the Model Advisor checks that verify compliance to the modeling guidelines, industry standards, and coding standards, see:
AUTOSAR Blockset Checks (AUTOSAR Blockset)