Main Content

Using Model Advisor Checks for High Integrity System Modeling Guidelines

High-Integrity Systems Modeling checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with High-Integrity Systems Modeling guidelines.

The Model Advisor performs a checkout of the Simulink® Check™ license when you run the High-Integrity Systems Modeling checks.

High-Integrity Systems Modeling checks are classified in to the following groups:

Simulink

High-Integrity Systems Modelling checks for Simulink blocks and components.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

MATLAB

High-Integrity Systems Modelling checks for MATLAB code.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Configuration

High-Integrity Systems Modelling checks for Configuration settings.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Naming

High-Integrity Systems Modelling checks for Naming conventions.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Requirements

High-Integrity Systems Modelling checks for Requirements Toolbox™ traceability.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Code

High-Integrity Systems Modelling checks for generated code.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Stateflow

High-Integrity Systems Modelling checks for Stateflow® charts and components.

For more information, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.