Verification, Validation and Test with Simulink

Complimentary Services: Post training email support & 1-hr consultation session within 1 month after the course completion!

TechSource Systems Pte Ltd

Course
Highlights

This four-day hands-on training package is designed for those who use Model-Based Design in a common design workflow and need to manage Simulink models when working in a large-scale project environment, to fully test Simulink model behaviour against system requirements and to ensure that the design is devoid of possible design errors.

 Topics discussed include:

  • Implementing interface control of Simulink subsystems and models
  • Managing requirements in Simulink models
  • Partitioning models using Simulink subsystems, libraries, and model references
  • Managing a model and all its dependencies
  • Addressing model scalability and performance concerns
  • Establishing and enforcing modeling standards
  • Documenting and sharing a Simulink model
  • Identifying the role of verification and validation in Model-Based Design
  • Creating test cases for Simulink models
  • Analyzing simulation results to verify model behaviour
  • Automating testing activities and managing results
  • Automatically generating artifacts to communicate results
  • Detecting and debugging common design errors
  • Collecting model coverage
  • Completing missing coverage using automatic test generation
  • Proving model properties for requirements-based verification
  • Handling model complexity for efficient analysis
TechSource Systems Pte Ltd

Who Should
Attend

Engineers who are applying Model-based design in a common design workflow, managing Simulink  models in large-scale project environments, testing Simulink behaviour against system requirements,  making sure the design is devoid of possible design errors.

TechSource Systems Pte Ltd

Course
Prerequisites

This course is intended for intermediate or advanced Simulink users therefore experience in using MATLAB and Simulink are required.

TechSource Systems Pte Ltd

Course
Benefits

Upon the completion of the course, the participants will be able to

  • Strictly define interfaces for Simulink model components.
  • Trace documents to Simulink components and tests.
  • Architect a Simulink model to facilitate concurrent development, reusability, and other factors.
  • Create and manage a project consisting of models, data, requirements, etc.
  • Enforce specific modeling standards for all models within a project.
  • Produce artifacts to communicate a Simulink design.
  • List common model verification and validation tasks.
  • Compare simulation-based testing and formal verification.
  • Associate model verification and validation tasks with supporting documents and data files.
  • Configure a model for use with Simulink Design Verifier.
  • Detect common design errors in a model.
  • Automatically generate test cases to produce full model coverage.
  • Formally prove a component meets design requirements.
  • Configure options to improve performance and results.

Partners

TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

TechSource Systems is MathWorks Authorised Reseller and Training Partner

Upcoming Program

  • Please keep me posted on the next schedule
  • Please contact me to arrange customized/ in-house training

Course Outline

Model-Based Design

Objective: Get a brief overview of how Simulink models can be used in a traditional design process. Discuss where the material covered in this course fits into that process.

TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Requirements Linking and Interface Control

Objective: Link a Simulink model to system requirements, illustrate data flow, and define system interfaces.

  • Component stubs
  • Requirements linking
  • Component interfaces
  • Bus objects

Model Architecture

Objective: Discuss the pros and cons of the different features used for organizing a Simulink model into separate components.

  • System component considerations
  • Virtual subsystems
  • Atomic subsystems
  • Subsystem references
  • Model references
  • Libraries
  • Component variants
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Project Management

Objective: Discuss how to effectively organize a project (containing models, data, documentation, etc.) and perform configuration management tasks.

  • Project setup
  • File shortcuts and labels
  • File dependencies and impact
  • Referenced projects
  • Source control integration
  • File differences

Data Management

Objective: Explore the data dependencies of a Simulink model and learn best practices for managing a Simulink model’s data.

  • Workspace precedence
  • Parameter management
  • Saving and loading data
  • Data dictionaries
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Model Scalability

Objective: Understand data objects, partition data in dictionaries, create reference projects and configurations sets to organize large projects.

  • Data objects
  • Reference data dictionaries
  • Reference configuration sets
  • Data partitioning
  • Reference projects

Model Performance

Objective: Learn how to improve simulation performance, use acceleration modes and understand their tradeoffs.

  • Simulink Profiler
  • Simulation modes
  • Comparing performance
  • Performance Advisor
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Modeling Standards

Objective: Explore how to set up and enforce modeling standards, check for common modeling errors, and optimize model performance.

  • Modeling standards
  • Model Advisor
  • Reporting results
  • Additional Simulink advisors
  • Templates

Reporting

Objective: Discuss the methods of automatically creating reports and documentation from Simulink models.

  • Web views
  • Standard reports
  • Custom reports
TechSource Systems Pte Ltd

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 project workflow using Model-Based Design.

  • Continuous test and verification
  • Electronic throttle control project
  • Types of verification
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Developing Test Cases

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

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

Analyzing Test Results

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
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Building Test Suites

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

  • Creating test files
  • Viewing and documenting test results
  • Configuring simulation, baseline, and equivalence tests

Understanding the Verification Workflow

Become familiar with the verification workflow and learn to prepare a model and perform a simple analysis with Simulink Design Verifier.

  • Introducing formal verification methods
  • Exploring the Simulink Design Verifier workflow
  • Preparing models and ensuring compatibility
  • Configuring analysis options
  • Generating results
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Detecting Design Errors

Learn how to use design error detection to verify a model.

  • Introducing types of design errors
  • Detecting design errors
  • Interpreting results and reporting
  • Fixing design errors
  • Using parameter tables

Automatically Generating Tests

Review coverage types and learn how to use automatic test generation to complete missing model coverage.

  • Understanding types of coverage
  • Measuring model coverage
  • Increasing coverage with automatic test generation
  • Interpreting results and reporting
  • Applying custom conditions and objectives
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Property Proving

Formalize requirements into properties and learn to use property proving to verify that a design meets its requirements.

  • Formalizing requirements
  • Proving properties
  • Debugging falsified properties
  • Using temporal operators

Managing Model Complexity

Identify sources of model complexity and learn techniques to improve analysis performance.

  • Identifying sources of model complexity
  • Implementing block replacements
  • Handling nonlinearities
  • Managing lookup table complexity
  • Working with counters and timers
TechSource Systems Pte Ltd
QUICK ENQUIRY