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.

See Also

• Run Model Advisor Checks and Review Results

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).

See Also

• Run Model Advisor Checks and Review Results

• Simulink Checks

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:

• Using Model Advisor Checks for High Integrity System Modeling Guidelines

• Using Model Advisor Checks for MAB Modeling Guidelines

• Using 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

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

• Using Model Advisor Checks for DO-254 Industry Standards

• Using Model Advisor Checks for MISRA C:2012 Coding Standards

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

• AUTOSAR Blockset Checks (AUTOSAR Blockset)

See Also

• Run Model Advisor Checks and Review Results

• High-Integrity System Modeling

• MAB Modeling Guidelines