Embedded Software Verification with Polyspace Products for IEC 61508 and ISO 26262

Patrick Munier, MathWorks
Stefan David, MathWorks

Functional safety standards such as IEC 61508 and ISO 26262 require dedicated activities related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching objectives of the standards with operational constraints at the development process level. This session discusses Polyspace® code verification for achieving compliance with these IEC and ISO standards and for improving the quality of the embedded software.

Product Focus

  • Polyspace Code Prover

Recorded: 17 Apr 2012