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

Ada Resource Association

News and resource for the Ada programming language

  • Article May 27 '21

    Ada for the Embedded C Developer

    Published in Electronic Design by Fabien Chouteau
    This seven-part series introduces Ada to Embedded C Developers.
    Continue Reading
  • Article Apr 11 '21

    AUJ December Issue available online

    Published in Ada User Journal by Ada User Journal
    Due to the continuing COVID-19 pandemic, there is a substantial lag between the creation and printing of an issue of the Ada User Journal. Because of this, recent issues have been made available on-line in their entirety. The December 2020 issue has just been posted.
    Download PDF
  • Article Mar 29 '21

    Make with Ada 2021

    Published in Electronic Design by William Wong
    William Wong discusses the winners of the Make with Ada contest from the perspective of a judge for the competition.
    Continue Reading
  • Article Jan 27 '21

    AUJ September 2020 Issue Available Online

    Published by Ada User Journal
    Due to the continuing COVID-19 pandemic, there is a substantial lag between the creation and printing of an issue of the Ada User Journal. Because of this, recent issues have been made available on-line in their entirety. The September 2020 issue has just been posted.
    Download PDF
  • Article Jan 21 '21

    The Place for MISRA C in Safe & Secure Programming – A Comparison with SPARK

    Published in Embedded Computing Design by Yannick Moy
    The author compares and contrasts safety and security when programming in MISRA C versus programming in SPARK and Ada.
    Continue Reading
  • Article Oct 15 '20

    AUJ June 2020 Issue Available Online

    Published by Ada User Journal
    Because of the ongoing pandemic, Ada-Europe has experienced difficulties printing and distributing the Ada User Journal. Therefore, the current issue has been made available online with no embargo period.
    Download PDF
  • Article Aug 17 '20

    Development Software Handles High-Integrity Space Applications

    Published in Tech Briefs
    The Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder Reflected Solar mission is a NASA-directed mission executed under the direction of the Science Mission Directorate – Earth Science Division with two primary mission goals: measure Earth-reflected sunlight with accuracy of 0.3% (k=1) and serve as an on-orbit inter-calibration reference to other orbiting sensors. To address the technical challenges outlined by the mission requirements, the mission selected the Ada programming language and GNAT Pro Bare-Metal development environment from AdaCore that are designed for safety-critical, real-time systems for the ARM M series processor architecture.
    Continue Reading
  • Article Aug 8 '20

    AUJ March 2020 Issue Available Online

    Published in Ada User Journal by Ada User Journal
    Because of the COVID-19 pandemic, Ada-Europe has been unable to print and ship the March 2020 AUJ to its subscribers. Therefore, they have decided to make the March issue (AUJ 41-1) available on-line, while the printed version will be mailed whenever possible. Thus the March AUJ issue is publicly available in its entirety.
    Download PDF
  • Article Jul 28 '20

    AUJ Quarterly News Digest, September 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.3, September 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Article Jun 23 '20

    Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis

    Published in Embedded Computer Design
    In this episode of Embedded Toolbox, Rob Tice explains how – as opposed to C and C++-based development – the Ada programming language abstracts most direct interaction with memory into the compilation process.
    Continue Reading
previous12345678910next
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events




AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • 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-2023 Ada Resource Association Site Map | Contact Us