Training - Courses

SLMB: Model Management and Verification in Simulink

This two-day course describes techniques for applying Model-Based Design in a common design workflow. It provides guidance on managing and sharing Simulink models, and teaches techniques for formally verifying model behavior.

Topics include:

Interface control of Simulink subsystems and models
Managing requirements in Simulink models
Best practices for partitioning models using Simulink subsystems, libraries, and model references
Establishing and enforcing modeling standards
Testing a Simulink model for accuracy and coverage
Formally verifying model behavior
Documenting a Simulink model This course is intended for intermediate or advanced Simulink users.

VIEW SCHEDULE and Register SHARE with Manager/Colleague

	Detailed course outline

Day 1 of 2
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 within 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 separate 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. Creating component variations Model dependencies Compare Simulink models Setting up a Simulink project Customizing the Simulink environment
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
Day 2 of 2
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 analyze the results. Benefits of testing with MATLAB^® code Defining test cases Verifying results Obtaining coverage
Testing Models Using SystemTest	Objective: Use SystemTest to test Simulink models using an independent, graphical environment. Benefits of testing in the SystemTest™ 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™

Prerequisites

MATLAB Fundamentals and Simulink for System and Algorithm Modeling, or equivalent experience with MATLAB and Simulink is highly recommended.

Course Length - 2 days

Products & Services	Solutions	Academia	Support	User Community	Company