IET

Product Focus: - Simulink Verification and Validation - SystemTest - Simulink Design Verifier - PolySpace code verification products

Access your personal account

Log in to see your favourites, lists and progress.

Access via institution

Not currently connected to any institutions

Connect via

Access Code

Redeem Access Code

Log in to redeem access code

This video isn’t available to you right now

Login to check your access and watch the full session.
To redeem an access code, first log in.

Login

Best Practices for Verification, Validation and Test in Model-Based Design

Duration: 28 mins
Publication date: 31 Oct 2010

Abstract

This presentation introduces best practices for using new techniques and tools in Model-Based Design for verification, validation, and test. It addresses coverage-driven model testing in simulation and formal methods-based proving on models and code.This video is best viewed in full screen mode.

Channels

Affiliates

Affiliates