Accelerating the pace of engineering and science

Verifying Embedded MATLAB Functions and Truth Tables in Simulink and Stateflow

Goran Begic, MathWorks

In this webinar, we’ll discuss how to analyze and verify Embedded MATLAB functions and truth tables in Simulink with help of Simulink Verification and Validation and Simulink Design Verifier. Using demos we will discuss how Simulink Verification and Validation can link functions to requirements and how it can be used to identify untested portions of the Embedded MATLAB code with the coverage tool. In the second part of the webinar we will focus on generation of test cases for Embedded MATLAB functions and truth tables that satisfy coverage requirements.

Product Focus

  • Simulink Verification and Validation
  • Simulink Design Verifier

Recorded: 14 Aug 2008