• 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 May 26 '20

    PTC releases 64-bit ARM ApexAda target

    Posted by PTC
    PTC has released a new Linux/Intel64-hosted embedded Ada compiler targeting Linux on Armv8 64-bit (aarch64) processors. PTC ApexAda V5.2 Embedded for Linux/Intel64 to Linux/Arm 64-bit is the initial product offering based on a new 64-bit code generator for ApexAda for the Armv8 64-bit (aarch64) architecture. It is hosted on Intel x64 Red Hat Enterprise Linux v7.x/v8.x or the CentOS equivalent distribution.
    Continue Reading
  • Article Mar 3 '20

    AUJ Quarterly News Digest, June 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.2, June 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Press Release Mar 3 '20

    Winners for 4th Make it With Ada contest announced

    Posted by AdaCore
    The winning entries for the 4th annual Make It With Ada contest have been announced. The winner is John Singleton for his SmartBase IoT Adjustable Bed.
    Continue Reading
  • Press Release Feb 18 '20

    Ada Toolchain Now Qualified for ISO 26262 and IEC 61508

    Posted by AdaCore
    AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
    Continue Reading
  • Article Nov 28 '19

    AUJ Quarterly News Digest, March 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.1, March 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Blog Nov 28 '19

    Ada User Journal News Digests now availa...

    by brukardt

    The AdaIC is happy to announce a new service, providing links to the Ada User Journal (AUJ) News Digests as each becomes available.

    The Ada User Journal (AUJ), currently in its 40th year of existence, is published by Ada-Europe four times a year, in March, June, September and December.

    The AUJ Online Archive makes the full AUJ issues publicly available 1 year after publication and distribution to AUJ subscribers. Every issue includes a Quarterly News Digest section, which is separately made publicly available 6 months after publication.

    Read Blog Entry
  • Article Oct 30 '19

    Make It With Ada 2019

    Published in Electronic Design by William Wong
    William Wong announces the 2019 edition of the Make It With Ada contest.
    Continue Reading
  • Article Oct 29 '19

    Learn and Use Ada and SPARK

    Published in Electronic Design
    Electronic Design provides a compilation of all of their articles on Ada and SPARK.
    Continue Reading
  • Article Oct 24 '19

    The Future of Safe Programming

    Published in Circuit Cellar
    As software is getting more and more tightly involved in almost every device, so are demands for safety and security. The automotive domain with assisted or autonomous driving is a good example (Figure 1). The increased cost may look prohibitive at first, but fortunately, there are other ways to improve the situation: starting by improving the programming language itself.
    Continue Reading
  • Press Release Sep 24 '19

    European Space Agency Uses AdaCore’s Qualified Multitasking Solution

    Posted by AdaCore

    The European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.

    As part of this contract, AdaCore has implemented a pre-qualified version of the Ravenscar Small Footprint (SFP) library – a configurable Ada run-time library that implements the Ravenscar profile, allows customization for specific platforms and capabilities, and is suitable for qualification in different domains, particularly those in which certification or a reduced footprint is needed.

    The result, a pre-qualified, multitasking runtime named Ravenscar SFP QUAL, targets Ada development on LEON2 and LEON3 boards. It is pre-qualified according to the European Cooperation for Space Standardisation’s (ECSS) Criticality Level B for software.

    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC 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