Webinars/Demos   See All »

  • Managing Avionics Safety Certification in UAS Platforms

    Safety certification for avionics hardware and software is an expensive, complicated process, but absolutely necessary to ensure safe skies for commercial aircraft passengers and military jets flying in the national airspace. Now unmanned aircraft flight critical electronics will also have to meet these same safety requirements as the U.S. Federal Aviation Administration (FAA) starts to open up the national airspace to unmanned aerial systems (UASs). While the rules are still being drawn up, embedded software and hardware designers are already looking at ways for UAS platform integrators to solve certification challenges and manage the process of compliance with safety certification standards such as DO-178B & C. This webcast of industry experts will discuss how to enable safety certification of UAS platforms through efficient and cost-effective solutions.
  • QGen Pre-release Demo

    QGen is a qualifiable and customizable code generator producing Ada (SPARK-compliant) and C (MISRA C-compliant) from Simulink and Stateflow models. It is particularly suited for usage in regulated industries by organizations who develop high-integrity real-time applications with Simulink/Stateflow and who want to decrease their V&V costs on generated source code.

This Week's Ada Gem   See All »

Gem #161 : So long and thanks for all the memories!

In this final Gem we look back over some highlights of the series, including the topics covered and your favorite Gems. We also look to the future with the creation of a new blog. Continue Reading on Ada Answers »

Jamie Ayre
AdaCore

Video Playlists   See All »