3 entries tagged with #DO-178

A New Booklet on AdaCore Technologies for Airborne Software

AdaCore has posted a new version of its booklet AdaCore Technologies for Airborne Software: Supporting certification and tool qualification for DO-178C/ED-12C. This edition reflects the updates and enhancements to AdaCore’s toolsuites since the publication of the original booklet. It summarizes the DO-178C/ED-12C documentation suite (the core standard, its supplements, and the accompanying tool qualification guidance), explains AdaCore’s tools and technologies (the Ada and SPARK languages, the GNAT Pro development environments, and the static and dynamic analysis suites), and correlates these tools and technologies with specific objectives in DO-178C/ED-12C and its associated standards.

#DO-178 #airborn #booklet

by Andrea Bristol

AdaCore and Lynx Software Technologies Reaffirm Longstanding Partnership

AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing safety-critical applications with Ada. Both companies will showcase their software solutions at the Army Aviation Mission Solutions Summit (“QuadA”) conference and exposition in Nashville, Tennessee, May 14-16. AdaCore and Lynx solutions are used in hundreds of military and aerospace programs worldwide.

#DO-178

by Emma Adby

Verification on Ada code with Static and Dynamic Code Analysis - Webinar

One of the main challenges to get certification in Ada projects is the achievement of 100% code coverage but in most projects an amount of more than 95% structural coverage is hard to achieve. What can you do with the last 5% of code that can't be covered? DO-178C for example, provides a framework for the integration of various techniques in the development process to solve the problem. In this webinar you learn how static analysis and dynamic testing can help complete analysis for pieces of code that are not covered.

#CodePeer #Code Coverage #Dynamic Analysis #Static Analysis #DO-178 #DO-178C