From: Marc Ricci on
Register now for the 9am EDT session: http://bit.ly/dqc9bp
Register now for the 2pm EDT session: http://bit.ly/cUJ503

"Embedded Software Verification for IEC 61508 or ISO 26262"- Free Webinar- 5/11/10

IEC 61508 or ISO 26262 certification for embedded software describes certain aspects of safety related to code verification. Embedded software engineers, project managers, or quality assurance managers are involved in the process of matching safety objectives of the standard with operational constraints at the development process level. Join this webinar to learn more about how code verification products from the 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 or 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

A Q&A session will follow the presentation.

Presenter: Marc Lalo

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

Register for the 9am EDT session: http://bit.ly/dqc9bp
Register for the 2pm EDT session: http://bit.ly/cUJ503