Prove the Absence of Run-Time Errors in High Integrity Code

Giorgia Zucchelli, MathWorks

Is code reliability keeping you up at night? Learn how to determine if your C, C++, or Ada code is free from certain run-time errors by viewing this webinar. See how Polyspace code verification from MathWorks proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code without requiring program execution, code instrumentation, or test cases. Early detection of software issues will help reduce development time and cost as well as help improve reliability. By using historical data from MathWorks customers, the return on investment of PolySpace will be demonstrated.
With Polyspace you are able to:

  • Find run-time errors in your source code
  • Conform to coding standard such as MISRA-C, MISRA-C++ or JSF++
  • Prove the absence of certain run-time errors
  • Simplify certification and qualification (FAA/DO-178B, MISRA, CMMI, FDA, IEC 61508, etc.)

Who should register:

  • Embedded software developers working on high reliability code
  • Project managers responsible for high integrity software
  • Quality assurance managers and testers

Highlights include:

  • How to prove that a given line of code is always correct
  • The difference between finding some errors and proving the absence of errors
  • Comparisons between checking coding rules, testing, and code verification
  • Proving the added value of Polyspace to an entire organization

Product Focus

  • Polyspace Bug Finder
  • Polyspace Code Prover

Recorded: 15 Sep 2010