• 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 Jun 23 '20

    Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software

    Posted by AdaCore
    AdaCore today announced that JTEKT, an international automotive electric power steering system manufacturing company headquartered in Japan, has adopted AdaCore’s SPARK Pro toolsuite and the GNAT Pro Common Code Generator (CCG) to aid in the development of safety-critical power steering system software.
    Continue Reading
  • 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
  • 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
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore 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