Simulink Verification and Validation Transition in R2017b - MATLAB & Simulink

Simulink Verification and Validation Transition in R2017b

In R2017b, the Simulink Verification and Validation™ product transitioned to three new products: 

- Requirements Toolbox™ for requirements authoring, editing, trace, and management 

- Simulink Coverage™ for model and code coverage analysis 

- Simulink Check™ for static checking, metrics, clone detection, and model transformations 

In this brief overview video, customers and support staff can learn more about the changes and gain a better understanding of the new products offered.

 

Published: 14 Sep 2017

Learn More

Learn more about the transition

Feedback

Up Next:

At the MathWorks Automotive Conference 2010, DAF Trucks and MonkeyProof Solutions presented the challenge DAF Trucks was facing with the increasing importance and complexity of software in vehicle development, the chosen strategy (migration to Model-

Verification and Validation of Embedded Software Systems

Related Videos:

This presentation introduces Simulink Verification and Validation and Simulink Design Verifier. It highlights advanced verification and validation techniques (involving structural coverage analysis and formal methods) for testing various components

Utilization of Simulink Verification and Validation and...

Hear about the ongoing effort to deploy simulation-guided technology at Toyota.

Simulation-Guided Verification and Validation for...

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.

MathWorks Vision for Systematic Verification and Validation

This session presents a controller development overview for engineers who develop models and generate code for high-integrity systems using Model-Based Design.

Verification and Validation Solutions for High Integrity...

View more related videos