Logo

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
  •  If you have previously registered for this event, please login below:
     Email
     LOGIN

    Registration is required to attend this event. Please register now.
    Email*
    First Name*
    Last Name*
    Title*
    Company*
    Street Address Line 1*
    City*
    State*
    Zip*
    Country*
    Work Phone*
    You must have Javascript and Cookies enabled to access this webcast. Click here for Help.
     
    Please enable Cookies in your browser before registering for the webcast.
     
    *Denotes required.