|
Verifying the Safety of Avionics Software for DO-178 Certification
On-demand webcast: Aired live:
March 27, 2014 02:00 PM EDT
|
Learn how to use Polyspace to meet DO-178 requirements, and achieve zero runtime errors in your most critical embedded software. Find out how engineers are using Polyspace static analysis tools to check for standards compliance, find difficult coding bugs, prove robustness, and meet DO-178 requirements. Using a unique formal-method approach called abstract interpretation, Polyspace verifies every possible execution of your code to find and prove runtime errors. Polyspace considers edge cases and corner cases that other verification techniques miss.
You can use Polyspace static analysis tools on code C, C++ and Ada written by hand or generated from models. Learn how you can use Polyspace to increase reliability and confidence, without increasing testing. In this webinar you will discover how to:
Quickly find bugs in your code
Enforce coding rule standards like MISRA, JSF
Prove your software safe from runtime errors
Meet DO - 178 requirements
Polyspace Code Prover proves that your software is safe from overflow, divide-by-zero, out-of-bounds array access, and other critical run-time errors. Along with Polyspace Bug Finder, you can check for MISRA compliance, identify programming errors, control flow and data flow problems.
Speaker:
Ram Cherukuri- Product Marketing Manager - MathWorks
Moderator:
Jerry Gipper, OpenSystems Media
|
|
|