Polyspace: Eliminating Runtime Errors in Critical Embedded Software

Jeff Chapple, MathWorks

This webinar introduces the Polyspace code verification tool for achieving robust software quality.

Polyspace uses a unique formal-method based static code analysis approach called abstract interpretation. The method makes it possible to find errors that other techniques can miss. Through demonstrations and examples, MathWorks engineers will show how Polyspace helps detect errors in embedded software and prove that the software contains no run-time errors.

Polyspace allows you to:

- Detect difficult to find run-time errors in C/C++/Ada code
- Address DO-178B/C, ISO 26262, IEC 61508 certification
- Reduce test and verification cycles
- Track software quality metrics

We also provide you with an update on the new features available in the latest version of Polyspace.

Product Focus

  • Polyspace Bug Finder
  • Polyspace Code Prover

Recorded: 11 May 2012