Model Management and Verification in Simulink
Hands-on Course with Practical Exercises

register

 

 

Course Highlights

This two-day hands-on course package is especially designed for intermediate or advanced user of SIMULINK. It describes techniques for applying Model-Based Design in a common design workflow, guidance on managing and sharing Simulink models, and teaches techniques for formally verifying model behavior.

Course Objectives

The aim of the course is to provide knowledge and proper techniques for participants on model management and verification in for model-based design implementation in common design workflow.

Who Must Attend

This hands-on course is designed for intermediate or advanced user of Simulink. It is especially useful for those who want to manage, sharing and verifying Simulink model in a larger. Engineers, researchers, and managers working with systems level design will be shown an easy-to-use approach in using Simulink System Test, Model Advisor, and Simulink Report Generator.

Course Benefits

Upon the completion of the course, the participants will be able to manage and customize the Simulink environment and determine Simulink model dependencies, optimize model performance, define test cases and verify the results.

Prerequisites

Matlab Fundamentals and Simulink for System and Algorithm Modeling, or equivalent experience with Matlab and Simulink is highly recomended.

Course Outline

Model-Based Design

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

Requirements Linking and Interface Control  

Objective: Describe how a Simulink model can be used to store system requirements, illustrate data flow, and define system interfaces.

  • Understanding the electronic throttle control system
  • Defining component placeholders with Simulink models
  • Linking system requirements
  • Establishing component interfaces
  • Using bus signals to define interfaces

Model Architecture

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

  • Creating and using system components
  • Subsystems, libraries, and model references
  • Practical issues when using system components

Configuration Management

Objective: Illustrate the methods used for managing and customizing the Simulink environment and determining Simulink model dependencies.

  • Algorithm background
  • Choosing the toolbox function
  • Optimization parameters and options
  • Command line functionality
  • Understanding the output

Data Management

Objective: Discuss the data dependencies of a Simulink model and provide best practices for managing a Simulink model ’s data

    • Storing parameters-base, model and mask workspace
    • Loading and saving parameters
    • Using data objects
    • Creating tunable parameters
    • Defining implementation properties
    Modeling Standards

    Objective: Discuss how to use the Simulink Model Advisor to enforce modeling standards, check for common modeling errors and optimize model performance

      • What are modeling standards?
      • Why have modeling standards?
      • Using the Model Advisor
      • Model Advisor checks
      • Creating custom checks in the Model Advisor

      Unit Testing in Simulink

      Objective: Use the Simulink environment to test a model for functional correctness, obtain coverage analysis, and prove user-specified properties.

        • Test harness models
        • Signal builder
        • Model verification blocks
        • Coverage analysis
        • Automatic test case generation
        • Property proving

        Testing Models using Matlab

        Objective: Create MATLAB scripts to define test cases, execute them, and analyse the results

          • Benefits of testing with MATLAB code
          • Defining test cases
          • Verifying results
          • Obtaining coverage

          Testing Models using System Test

          Objective: Use System Test to test Simulink models using an independent, graphical environment

            • Benefits of testing in the System Test environment
            • Test vectors and test variables
            • Simulink elements
            • Pass/fail criterion
            • Test results analysis
            • MATLAB test elements

            Creating Documentation

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

              • Printing a model with PrintFrames
              • Generating a model report
              • Exporting to a Web view
              • Generating a custom report with Simulink Report Generator