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).
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
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.
Airbus used Model-Based Design to model the system design and software design to speed development, validation, and verification of certified flight software.
Choose your location to get translated content where available and see local events and
offers. Based on
your location, we recommend that you select: .
You can also select a location from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
