Simulink Verification and Validation
Verify models and generated code
Product Overview 1:59
Simulink Verification and Validation™ automates requirements tracing, modeling standards compliance checking, and test-harness generation.
You can create detailed requirements traceability reports, author your own modeling style checks, and develop check configurations to share with engineering teams. Requirements documentation can be linked to models, test cases, and generated code. You can generate harness models for testing model components and code before the complete system becomes available.
Simulink Verification and Validation provides modeling standards checks for the DO-178B and IEC 61508 industry standards. Additional support is available through DO Qualification Kit and IEC Certification Kit.
|
|
View data sheet (1083k) |
Simulink is particularly helpful in two stages of our development process. Early on, it helps us try new ideas and visualize how they will work. After generating code and conducting in-vehicle tests, we can run multiple simulations, refine the design, and regenerate code for the next iteration.
Read this story