Webinars/Demos   See All »

  • CodePeer 3.0

    CodePeer 3 is the most advanced static analysis tool available for Ada – now qualified under DO-178B and EN50128 with support for IEEE 754 floating point semantics and enhanced support for project files. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration: CWE-120 (Classic Buffer Overflow), CWE-131 (Incorrect Calculation of Buffer Size), and CWE-190 (Integer Overflow or Wraparound).
  • Addressing security in safety-critical and mission-critical UAS

    When it comes to unmanned aircraft systems (UAS), virtually everyone is talking about and concerned with privacy issues – as though drones were robotic peeping Toms. The much larger and more critical issue, however, is security – without it, the potential exists for control of drones and even swarms of drones to be usurped and used to inflict harm. UAS hardware and software must be designed with development tools proven to be effective in the design and deployment of safety-critical and mission-critical systems and vehicles. In this webinar Robert Dewar will discuss the selection of optimal development tools and processes to ensure the safety, security, and reliability of real-time unmanned aircraft, onboard software, and ground control solutions.

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

Video Playlists   See All »