Simulink Verification and Validation

Verify models and generated code

Simulink Verification and Validation automates requirements tracing, modeling standards compliance checking, and model coverage analysis.

You can create detailed requirements traceability reports, author your own modeling style checks, and develop check configurations to share with engineering teams. Requirements documentation can be linked to models, test cases, and generated code. You can generate harness models for testing model components and code, and use model coverage analysis to ensure that models have been thoroughly tested.

Simulink Verification and Validation provides modeling standards checks for DO-178, ISO 26262, IEC 61508, and related industry standards. Additional support is available through DO Qualification Kit and IEC Certification Kit.

Best Practices for DO-178 Compliant Software using Model-Based Design

View webinar

Try Simulink Verification and Validation

Get trial software
Nishaat Vasi

What's New

From Nishaat Vasi, Simulink Verification and Validation Technical Expert