Skip to Main Content Skip to Search
Accelerating the pace of engineering and science

 

Simulink Verification and Validation

Verify models and generated code

Simulink Verification and Validation automates requirements tracing, modeling standards compliance checking, and model coverage analysis.

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, and use model coverage analysis to ensure that models have been thoroughly tested.

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.


Adobe Acrobat Required  View data sheet (1083k)



News and Events
Contact sales
Trial software

Get Pricing and
Licensing Options

Lear

"We adopted Model-Based Design to deliver better-quality systems faster and because it is a smart choice. Recently we won a project that several of our competitors declined to bid on because of its tight time constraints. Using Model-Based Design, we met the original delivery date with no problem."
- Jason Bauman