Documentation

Simulink Verification and Validation Checks

Simulink Verification and Validation Checks

Simulink® Verification and Validation™ checks facilitate designing and troubleshooting models from which code is generated for applications that must meet safety or mission-critical requirements, modeling guidelines, or requirements consistency.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the Simulink Verification and Validation checks.

For descriptions of the modeling standards checks, see

For descriptions of the requirements consistency checks, see Requirements Consistency Checks.

See Also

Modeling Standards Checks

Modeling standards checks facilitate designing and troubleshooting models from which code is generated for applications that must meet safety or mission-critical requirements or MathWorks® Automotive Advisory Board (MAAB) modeling guidelines.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the modeling standards checks.

For descriptions of the modeling standards checks, see

See Also

Modeling Standards for MAAB

Group of MathWorks Automotive Advisory Board (MAAB) checks. MAAB checks facilitate designing and troubleshooting models from which code is generated for automotive applications.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the modeling standards for MAAB checks.

See Also

Naming Conventions

Group of MathWorks Automotive Advisory Board (MAAB) checks related to naming conventions.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the naming conventions checks.

See Also

Model Architecture

Group of MathWorks Automotive Advisory Board (MAAB) checks related to model architecture.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the model architecture checks.

See Also

Model Configuration Options

Group of MathWorks Automotive Advisory Board (MAAB) checks related to model configuration options.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the model configuration options checks.

See Also

Simulink

Group of MathWorks Automotive Advisory Board (MAAB) checks related to the Simulink product.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the MAAB checks related to the Simulink product.

See Also

Stateflow

Group of MathWorks Automotive Advisory Board (MAAB) checks related to the Stateflow® product.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the MAAB checks related to the Stateflow product.

See Also

MATLAB Functions

MathWorks Automotive Advisory Board (MAAB) checks related to MATLAB® functions.

The Model Advisor performs a checkout of the Simulink Verification and Validation license when you run the MAAB checks related to MATLAB functions.

See Also

Was this topic helpful?