Simulink Verification and Validation

Modeling Standards Compliance Checking

Simulink Verification and Validation provides checks for the following:

• MathWorks Automotive Advisory Board
• DO-178B
• IEC 61508 (ISO 26262)
• Requirements consistency

You can run individual checks or a group of checks with the Model Advisor. Each check comes with detailed documentation and recommendations for resolving inconsistencies; some checks also provide additional configuration options.

Violation in highlighted model block found through modeling standards checks in Model Advisor.

You can modify shipping checks using the Model Advisor Configuration Editor, which enables you to:

• Select combinations of checks
• Save a selection of checks as a new configuration
• Import and apply checks from an existing configuration
• Add custom checks to the configuration
• Export and deploy a configuration

The scripting API lets you author custom checks. Examples of custom checks are available in the product documentation.

To automate compliance checking, you can run checks in batch mode on a single machine or on multiple machines in parallel with Parallel Computing Toolbox™. You can view results within the Model Advisor or in the HTML report generated at the end of the analysis run.

When using the Simulink DO Qualification Kit, you can qualify the DO-178B checks in Model Advisor for use in DO-178B or DO-254 certified projects.