E-cast: Verifying the Safety of Avionics Software for DO-178 Certification




Embedded E-cast show

Summary: 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.