Verification and Validation of Simulink Models

Course Highlight

This one-day course describes techniques for testing Simulink® model behavior against system requirements using Simulink Test, "Simulink Requirements", Simulink Coverage", and Simulink Design Verifier". Topics include:

  • Identifying the role of verification and validation in Model-Based Design
  • Creating test cases for Simulink models
  • Analyzing simulation results to verify model behavior
  • Automating testing activities and managing results
  • Formally verifying model behavior
  • Automatically generating artifacts to communicate results

Prerequisite

Attended Comprehensive MATLAB and Comprehensive Simulink or having equivalent experience in using MATLAB and SIMULINK. This course is intended for intermediate or advanced Simulink users.

Course Outline

Day 1 of 1

Verification and Validation in Model-Based Design

Objective: Introduce verification and validation in the Simulink environment, and discuss how it fits in to a typical Model-Based Design project workflow.

  • Continuous test and verification
  • Types of verification
  • Electronic throttle control project

Developing Test Cases

Objective: Create time-based and logic-based test cases for a Simulink model.

  • Defining test cases
  • Generating test harnesses
  • Creating and importing test inputs
  • Incorporating logic in tests

Analyzing Test Results

Objective: Analyze test results of a Simulink simulation, both during and after the simulation.

  • Performing requirements-based assessments
  • Logging, inspecting, and comparing test results
  • Collecting model coverage

Building Test Suites

Objective: Create repeatable groups of tests and automatically generate reports from the test results.

  • Creating test files
  • Configuring simulation, basedline, and equivalence tests
  • Viewling and documenting test results

Formally Verifying Models

Objective: Use formal methods to mathematically analyze Simulin models without the need for test cases.

  • Using Simulink Design Verifier
  • Automatically generating tests
  • Proving model properties
  • Detecting design errors

DOWNLOAD REGISTRATION FORM

 ONLINE REGISTRATION

Course Registration Form


Course Title
Invalid Input

or Key in Your Own Title
Invalid Input

Course Start Date

Invalid Input

Sponsorship (*)
Invalid Input


Contact Person


Salutation(*)
Invalid Input

Name(*)
Invalid Input

Designation/ Department/ Division(*)
Invalid Input

Company(*)
Invalid Input

Billing Address (*)
Invalid Input

Street Address

(*)
Invalid Input

Street Address Line 2

City(*)
Invalid Input

State / Province(*)
Invalid Input

Postal / Zip Code(*)
Invalid Input

Telephone(*)
Invalid Input

Fax
Invalid Input

Email Address (*)
Invalid Input


Participant Details


Participant Salution 1
Invalid Input

Participant Name1
Invalid Input

Designation/ Department/ Division
Invalid Input

Telephone
Invalid Input

Fax
Invalid Input

Email Address
Invalid Input

Dietary Requirement
Invalid Input


Participant Salution 2
Invalid Input

Participant Name2
Invalid Input

Designation/ Department/ Division
Invalid Input

Telephone
Invalid Input

Fax
Invalid Input

Email Address
Invalid Input

Dietary Requirement
Invalid Input


Participant Salution 3
Invalid Input

Participant Name 3
Invalid Input

Designation/ Department/ Division
Invalid Input

Telephone
Invalid Input

Fax
Invalid Input

Email Address
Invalid Input

Dietary Requirement
Invalid Input


Payment Method(*)
Invalid Input

Cheque number
Invalid Input

PO Number
Invalid Input

How did you get to know about this programme?(*)
Invalid Input

Terms and Conditions
Invalid Input

Invalid Input