Events - Seminars

Early Verification, Validation and Test using Model-Based Design

Seminar Overview

Design and Verify Control Systems using Simulink

Please join us for a presentation about how to find errors in design much earlier in the development process and improve quality of your design and code through early verification, validation and test within the context of Model-Based Design. This seminar builds on top of the modeling and simulation capabilities of the MATLAB/Simulink platform and introduces tools and techniques to ensure correctness of your design in a virtual environment.

The seminar will introduce some best practices for repeatable and exhaustive test and verification in a virtual environment and explain how early verification and validation in Model-Based Design can improve the overall quality of your product.

	Locations	Dates	Times
	Aarhus, Denmark	17 mar 2010	09:00 - 12:30

Register for this free seminar Invite a colleague

Who Should Attend

Familiarity with MathWorks products is not required. This seminar is intended for anyone involved in Model-Based Design including:

Embedded systems engineers
Embedded software engineers
Control design engineers
Test engineers
Engineering managers

Agenda
08:30 - 09:00	Registration and Coffee
09:00 - 10:20	Early Verification and Validation - Case Study Model-Based Design as an Opportunity for early verification, validation and test Graphical modeling with focus on managing logic using state diagrams Requirements - Model traceability Modeling Standards Checking Creating model test harness for automatic test and verification of design
10:20 - 10:40	Coffee break
10:40 - 12:15	Early Verification, Validation and Test – Case Study Continued Coverage analysis Automatic test generation to ensure full design coverage Formal property proving of design Traceability Model – Code Reuse of test harness on code level
12:15 - 12:30	Summary and Questions & Answers

Register for this free seminar

Products & Services	Solutions	Academia	Support	User Community	Company