Accelerating the pace of engineering and science

Embedded Software Verification for IEC 61508 and ISO 26262

Marc Lalo, MathWorks

IEC 61508 and ISO 26262 certification for embedded software describes certain aspects of safety related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching safety objectives of the standard with operational constraints at the development process level. Attend this webinar and learn more about how code verification products from MathWorks fit into the overall IEC 61508 certification process.

Highlights of this webinar include how to:

  • Utilize Polyspace code verification products to help cover some tables of the IEC 61508 standard
  • Effectively enforce MISRA C and MISRA C++ coding standards
  • Reduce testing activities and still increase the confidence in the software reliability
  • Understand the difference between finding errors and proving their absence
  • Prove the absence of over/underflows, dividing by zeros, illegally dereferencing pointers, and other run-time errors

Presenter: Marc Lalo

Presenter Bio: Marc is the product manager for Polyspace products. He has been working in the embedded software verification and safety standards field for more than 10 years.

Product Focus

  • Polyspace Bug Finder
  • Polyspace Code Prover
  • IEC Certification Kit

Recorded: 11 May 2010