Simulink Verification and Validation
Simulink Verification and Validation provides checks for the following:
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.
You can modify shipping checks using the Model Advisor Configuration Editor, which enables you to:
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.