Proving the Quality of Critical Embedded Software

Seminar Overview


In this seminar, we will present the use of Polyspace to verify critical embedded software. Polyspace uses formal-methods based static analysis to find run-time errors and to prove when the software will execute without runtime errors. Using a unique approach called abstract interpretation to analyze all possible ways the code can be run; Polyspace finds critical errors that other verification techniques can miss.  

Through demonstrations and examples, MathWorks engineers will show how Polyspace helps detect critical run-time errors and prove that your software does not contain run-time errors. You will also learn about using these verification results to certify your code to standards such as DO-178, ISO 26262 and IEC 61508.

Benefits of the solution presented:

  • Detect difficult to find run-time errors
  • Meet safety standard requirements (ISO 26262, IEC 61508)
  • Enforce code rule standards (MISRA C/C++)
  • Reduce test and verification cycles
  • Track software quality metrics
  • Early verification and validation of the design