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 »

Introducing the AdaCore Blog

We’re pleased to announce the launch of the AdaCore Blog providing an insight into the AdaCore Ecosystem. Continue Reading on Ada Answers »

Jamie Ayre
AdaCore

Video Playlists   See All »