Simulink Verification and Validation 2.5

Simulink® Verification and Validation™ software exposes design flaws, inadequate requirements, incomplete tests, and unnecessary design constructs early in the development process. You can trace requirement documents to your design models, component tests, and generated code. You can also verify your designs and tests through model coverage and modeling standards checking.

Simulink Verification and Validation provides model checking for the DO-178B and IEC 61508 industry standards. Additional support
is available through DO Qualification Kit  and IEC Certification Kit.

Learn more about verification, validation, and test in Model-Based Design.