Verification, Validation and Test with Simulink

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

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.

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

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.