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

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 

Learn More About Verification, Validation, and Test

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.
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

Customer Success Stories

Lear enabled early and continuous verification and implementation of dozens of body electronics systems via simulation and SIL and HIL testing.
Airbus used Model-Based Design to model the system design and software design to speed development, validation, and verification of certified flight software.
Miracor detected errors in C code, performed code reviews and functional testing, and established verification processes for regulatory approval.
INCOVA modeled and validated the excavator's control valve system, then generated and ran code on real-time rapid prototyping hardware.

National Aerospace Laboratories Reduces Design Time By 50%

Let us know how we can help you.

Contact us for a custom evaluation, and get pricing based on your needs.