Learn more about Simulink Verification and Validation

Simulink Verification and Validation Checks

On this page…
Simulink Verification and Validation Checks Overview Modeling Standards Checks Overview

Simulink Verification and Validation Checks Overview

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

• DO-178B Checks

• IEC 61508 Checks

• MathWorks Automotive Advisory Board Checks

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

See Also

• Consulting the Model Advisor in the Simulink documentation

• Simulink Checks in the Simulink reference documentation

• Real-Time Workshop Checks in the Real-Time Workshop^® documentation

Back to Top

Modeling Standards Checks Overview

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

• DO-178B Checks

• IEC 61508 Checks

• MathWorks Automotive Advisory Board Checks

See Also

• Consulting the Model Advisor in the Simulink documentation

• Simulink Checks in the Simulink reference documentation

• Real-Time Workshop Checks in the Real-Time Workshop documentation

Back to Top

Model Advisor Checks

DO-178B Checks

© 1984-2009- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS