Accelerating the pace of engineering and science

Improving the Quality of Embedded Software

Register to watch video

Jay Abraham, MathWorks

Testing alone cannot prove the absence of defects in critical embedded software. In this webinar we discuss the application of new tools and techniques that can be applied to improve robustness of critical systems. See how software engineers and quality managers can measurably improve the quality of code during the software development lifecycle process.

Through technical demonstrations learn how to:

  • Identify faulty software
  • Improve the quality and reliability of software
  • Prove that certain types of software defects will never occur in the code
  • Ensure that quality objectives are met along software development lifecycle

About the Presenter: Jay Abraham’s expertise is in software tools for the verification of critical embedded applications. He has over 20 years software and hardware design experience.

Product Focus

  • Polyspace Code Prover
  • Polyspace Bug Finder

Recorded: 17 Nov 2010