Verification and Validation of Simulink Models

This course describes techniques for testing Simulink® model behavior against system requirements. Topics include:

  • Identifying the role of verification and validation in Model-Based Design
  • Creating test cases for Simulink models
  • Analysing simulation results to verify model behavior
  • Automating testing activities and managing results
  • Formally verifying model behavior
  • Automatically generating artifacts to communicate results

Download the course outline