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:

Implementing interface control of Simulink subsystems and models
Managing requirements in Simulink models
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

VIEW SCHEDULE and Register SHARE with Manager/Colleague

	Detailed course outline

Day 1 of 2
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.
Requirements Linking and Interface Control	Objective: Use a Simulink model to store 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 Model references Libraries Component variants
Project Management	Objective: Explore methods used for managing Simulink projects, such as determining Simulink model dependencies and comparing project files. Model manifests Project organization Startup and cleanup scripts Reference configuration sets File differences
Data Management	Objective: Explore the data dependencies of a Simulink model and learn best practices for managing a Simulink model's data. Simulink data Parameter storage Workspace precedence Parameter management Data dictionary Tunability
Modeling Standards	Objective: Use the Simulink Model Advisor to enforce modeling standards, check for common modeling errors and optimize model performance. Modeling standards Model Advisor Custom configurations Reporting results

Day 2 of 2
Developing Test Cases	Objective: Create and store test cases for a Simulink model, using both MATLAB code and Simulink test harness models. Testing workflow Components of a test Harness models MATLAB scripts External sources
Analyzing Test Results	Objective: Analyze test results of a Simulink simulation, both during and after the simulation. Run-time analysis Logging data Saving data Automated analysis Simulation data inspector
Running Multiple Tests	Objective: Create repeatable tests, run groups of tests automatically, and collect coverage data on a model. Test process Self-contained tests Test suites Model coverage
Automatically Generating Tests	Objective: Use formal methods to automatically generate tests for a Simulink model. Model compatibility Automatic test generation User-defined objectives Command-line automation Property proving
Reporting	Objective: Discuss the methods of automatically creating reports and documentation from Simulink models. Print frames Web views Standard reports Custom reports

Prerequisites

MATLAB Fundamentals and Simulink for System and Algorithm Modeling. This course is intended for intermediate or advanced Simulink users.

Course Length - 2 days