Simulink Check Checks - MATLAB & Simulink (original) (raw)
Main Content
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
Requirements Toolbox Checks
Requirements Toolbox™ checks facilitate linking between requirements documentation and your model.
For descriptions of the requirements consistency checks, see Check Direct Links for Validity (Requirements Toolbox).
See Also
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, SWE, and ISO/IEC TS 17961 Coding Standards