Accelerating the pace of engineering and science

Best Practices for Verification and Validation

Register to watch video

Jay Abraham, MathWorks
Nishaat Vasi, MathWorks

In this webinar you will learn techniques and practices in Model-Based Design to verify and validate software designs and embedded code using MathWorks tools. We will address requirements driven development, model coverage testing, and static code analysis of embedded software.

About the Presenters:

Nishaat Vasi is a product marketing manager at MathWorks. Since joining MathWorks in 2007, Nishaat has partnered with customers involved in high-integrity applications to promote the adoption of MathWorks tools for embedded software verification. He holds an M.S. in electrical engineering from University of Massachusetts and a B.E. in electronics engineering from University of Mumbai.

Jay Abraham is a product marketing manager at MathWorks. His area of expertise is in software tools for the verification of critical embedded applications. He has over 20 years of software and hardware design experience. Jay has an M.S. in computer engineering from Syracuse University and a B.S. in electrical engineering from Boston University

Product Focus

  • Polyspace Code Prover
  • Polyspace Bug Finder
  • Simulink
  • Simulink Report Generator

Recorded: 28 Aug 2012