• 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 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
  • Blog Jul 8 '16

    Update to the Ada 2012 Rationale availab...

    by brukardt
    The Rationale Update for Ada 2012, based on an article in the Ada User Journal by John Barnes, organizes the changes of Technical Corrigendum 1 for Ada 2012 into the same chapters as the Ada 2012 Rationale. It is an essential companion to the Rationale document. It is available on the Ada Conformity Assessment Authority website in a variety of formats.
    Read Blog Entry
  • 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 Jun 13 '16

    PTC releases ObjectAda 64 for Windows

    Posted by PTC
    PTC today announced its first release of full 64-bit code generation capability in the PTC ® ObjectAda product line. With this release of PTC ObjectAda64 v9.2 for Windows, ObjectAda gains full 64-bit application development & execution as well as Windows 10 compatibility.
    Continue Reading
  • Article Mar 24 '16

    11 Myths about Ada

    Published in Electronic Design by Ben Brosgol
    Ben debunks 11 myths about the Ada Programming Language, starting with “Ada is dead”.
    Continue Reading
  • Press Release Feb 24 '16

    Ada 2012 Language Standard Corrigendum Approved by ISO

    Posted by Ada Europe, ARA

    The Ada Resource Association (ARA) and Ada-Europe today announced that an update to the Ada 2012 language standard, formally known as Technical Corrigendum 1 to ISO/IEC 8652:2012, has been approved and officially published by the Geneva-based International Organization for Standardization (ISO). Comprising a variety of clarifications and minor corrections driven by implementation and user experience, the Corrigendum was developed under the auspices of Working Group ISO/IEC JTC1/SC22/WG9, in particular by WG9’s Ada Rapporteur Group (ARG), and was issued on February 1, 2016.

    The full press release can be found on our site, or on BusinessWire.

    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors



AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • 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