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

 

Events - Seminars

Early Verification and Validation in Model-Based DesignNew


Seminar Overview

Learn how to improve quality of your designs and code through verification and validation using Simulink models.

Model-Based Design is a powerful development method that allows you to reduce time to market and improve quality. This seminar builds on top of the modeling and simulation capabilities of the Simulink platform and introduces tools and techniques that will enable you to:

  • Automate reviews for compliance with modeling standards
  • Connect your designs with requirements specifications
  • Test your models
  • Generate signal inputs that ensure complete model coverage (up to 100% MC/DC)
  • Automate test execution

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

 


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

Seminar Highlights

  • Modeling standards checking
  • Model testing in simulation
  • Automatic test generation
Agenda
8:00 a.m.

Registration and Continental Breakfast

8:30 a.m.

Welcome and Introduction

8:40 a.m.

Model-Based Design as an Opportunity for Early Verification and Validation of Models and Code – an Overview

9:00 a.m.

Requirement/Model Traceability

  • Linking and Tracing Requirements, Models and Code
9:30 a.m.

Modeling Standards Checking

  • Customized Standards
10:00 a.m.

Break

10:15 a.m.

Model Verification and Validation

  • Requirement Based Testing
  • Test Case Traceability
  • Test Case Coverage Analysis
  • Structural Based Testing
  • Test Generation using Simulink Design Verifier
  • Automatic Test Execution with SystemTest
11:30 a.m.

Summary, Next Steps, Questions & Answers


 

Contact sales
Print this page