Requirements-Based Verification with Simulink Test


Learn how to:

  • Automate requirements based with Model-Based Designs
  • Translate informal text requirements into unambiguous assessments with clear, defined semantics
  • Trace requirements to design and test 
  • Monitor internal signals without perturbing the design or generated code with the new Observer Block 

About the Presenter

Paul Urban is a senior product marketing manager at MathWorks responsible for the verification and validation tools, specifically Simulink Requirements, Simulink Test and Simulink Check.  His experience includes extensive work in applying Model Based Design for systems engineering, embedded software development and test.   Prior to joining the MathWorks in 2016, Paul held roles in product marketing, business development, consulting, and development at IBM Watson IoT, Telelogic, and I-Logix where he worked on solutions based on UML/SysML with Rhapsody.  

Recorded: 13 Aug 2019