• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Mar 21 '17

    AdaCore Releases GNAT Pro for SYSGO’s PikeOS RTOS

    Posted by AdaCore
    AdaCore has released its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS®. AdaCore and SYSGO are longtime partners in the embedded market, with Ada’s reliability benefits providing an excellent match for SYSGO’s safety-critical PikeOS® RTOS. GNAT Pro for PikeOS® is especially suited for high-assurance embedded applications, thanks to its configurable run-time capability and its high-integrity profiles.
    Continue Reading
  • Press Release Mar 21 '17

    AdaCore Publishes Handbook on DO-178C/ED-12C Guidance

    Posted by AdaCore
    The handbook addresses the DO-178C / ED-12C standards suite, providing insights into how the Ada and SPARK languages, can help customers develop and verify airborne software. The handbook can be downloaded from http://www.adacore.com/press/handbook-do-178c-ed-12c-guidance/.
    Continue Reading
  • Press Release Mar 15 '17

    AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro

    Posted by AdaCore
    AdaCore has announced new versions of its flagship products GNAT Pro, CodePeer, QGen and SPARK Pro.
    Continue Reading
  • Press Release Dec 6 '16

    CodePeer Static Analysis Tool Officially Registered as CWE-Compatible

    Posted by AdaCore
    AdaCore’s CodePeer advanced static analysis tool for Ada has been formally designated as “CWE-Compatible” by the MITRE Corporation’s Common Weakness Enumeration (CWE) Compatibility and Effectiveness Program. This program is a web-based initiative that consolidates and organizes information about cyber-security products and services.
    Continue Reading
  • Press Release Nov 28 '16

    Winners Announced for First Annual “Make with Ada” Programming Competition

    Posted by AdaCore
    AdaCore has announced the winners from the First “Make with Ada” programming competition. The prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness. The First Place prize of €5000 went to Stephane Carrez for his EtherScope monitoring tool that analyzes Ethernet traffic.
    Continue Reading
  • Press Release Sep 20 '16

    AdaCore and Altran to sponsor High Integrity Software Conference

    Posted by AdaCore, Altran
    AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016. The conference programme can be found at www.his-2016.co.uk/programme; it covers many topics including security, autonomy, standards and techniques & tools.
    Continue Reading
  • Press Release Jul 19 '16

    Ada Helps ExoMars Get to the Red Planet

    Posted by AdaCore
    AdaCore’s GNAT Pro Ada cross compilation environment has been successfully used by Thales Alenia Space to develop and verify the critical software embedded on the ExoMars program. Thales Alenia Space implemented in Ada two ExoMars On-Board Software (OBSW) components: one for the Trace Gas Orbiter (TGO) on an ERC32 target, and one for the Entry, Descent and Landing Demonstrator Module (EDM) on a LEON2 target.
    Continue Reading
  • Press Release Jul 2 '16

    AdaCore booklet helps Railway Developers

    Posted by AdaCore
    AdaCore has published a 70-page booklet authored by AdaCore expert Quentin Ochem and CERTIFIER safety assessor Jean-Louis Boulanger; it summarizes CENELEC EN 50128:2011 railway software standard and explains how the Ada programming language and AdaCore’s products can be used to meet its requirements throughout the software life cycle. The report can be downloaded from http://adacore.com/en-50128.
    Continue Reading
  • Press Release Jun 20 '16

    AdaCore announces Make With Ada Competition with a top prize of €5000

    Posted by AdaCore
    Today, AdaCore launched the “Make with Ada” programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition will run from June 20 to September 30, 2016 and offers over €8000 in total prizes.
    Continue Reading
  • Press Release Feb 24 '16

    AdaCore releases GNATPro 7.4

    Posted by AdaCore
    AdaCore has released a new version of its flagship GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements.
    Continue Reading
previous1234567891011121314next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events



AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2021 Ada Resource Association Site Map | Contact Us