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).
MATLAB and Simulink Products for Verification, Validation, and Test
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.
Verification and Validation According to ISO 26262