Skip to Main Content Skip to Search
Home |   Nordic  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Solutions Academia Support User Community Company

 

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.



Thank you for your interest in MathWorks Seminars. There are no dates currently scheduled for this Seminar. For more information on our seminars and products contact MathWorks sales or please visit:


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


Contact sales
E-mail this page
Print this page