Verification, Validation, and Test

Engineering teams use Model-Based Design with MATLAB^® and Simulink^® to verify and validate embedded systems. Teams author requirements directly in their models and can then use those models to generate production code for certification.

Author requirements in your model, and verify and trace them to the design, tests, and code.
Prove that your design meets requirements, and automatically generate tests.
Check compliance of models and code using static analysis and formal methods.
Find bugs, security vulnerabilities, and prove the absence of critical run-time errors.
Produce reports and artifacts, and certify to standards (such as DO-178 and ISO 26262).

Automating Verification and Validation with Simulink

Get resources

Simulink and Polyspace Products for Verification, Validation, and Test

Simulink Requirements: Author, manage, and trace requirements to models, generated code, and test cases
Simulink Check: Verify compliance of design model with style guidelines, modeling standards, and industry certification standards
Simulink Test: Develop, manage, and execute simulation-based tests (including testing for software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop)
Simulink Coverage: Measure test completeness with models and generate code coverage metrics
Simulink Design Verifier: Use formal verification to find hidden design errors, prove your design meets requirements, and automatically generate test inputs
Polyspace Bug Finder: Check compliance to standards such as MISRA, and find security vulnerabilities and software bugs in source code
Polyspace Code Prover: Prove that the source code is free of critical run-time errors
Simulink Real-Time: Build, run, and test real-time applications

Get Trained on Verification, Validation, and Test

See schedule

Learn More About Verification, Validation, and Test

This session presents a controller development overview for engineers who develop models and generate code for high-integrity systems using Model-Based Design.

40:19

Verification and Validation Solutions for High Integrity Systems

This video presents a controller development overview for engineers who develop models and generate code for high-integrity systems using Model-Based Design.

This talk explains the expanding capabilities of tools for dynamic testing and formal methods–based static analysis. See how to apply these techniques to a production development process to achieve higher quality and productivity.

16:11

MathWorks Vision for Systematic Verification and Validation

This talk explains the expanding capabilities of tools for dynamic testing and formal methods–based static analysis. See how to apply these techniques to a production development process to achieve higher quality and productivity.

This webinar provides a high level overview of the workflow for developing systems to meet aerospace certification requirements. The workflow will be demonstrated using a Helicopter flight control system example.

35:24

Simulink for DO-178 Flight Software Development

This webinar provides a high level overview of the workflow for developing systems to meet aerospace certification requirements. The workflow is demonstrated using a helicopter flight control system example.

How to Use Simulink for ISO 26262 Projects

Read article

Customer Success Stories

Lear Delivers Quality Body Control Electronics Faster Using Model-Based Design

Lear enabled early and continuous verification and implementation of dozens of body electronics systems via simulation and SIL and HIL testing.

Airbus Helicopters Accelerates Development of DO-178B Certified Software with Model-Based Design

Airbus used Model-Based Design to model the system design and software design to speed development, validation, and verification of certified flight software.