Article
Aug 8 '20
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.
Article
Jul 28 '20
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.
Press Release
Jul 24 '20
The 5th Annual Make It With Ada competition will run from July 31st, 2020 to January 31st, 2021. There will be $9000 in prizes.
Press Release
Jun 23 '20
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.
Article
Jun 23 '20
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.
Press Release
May 26 '20
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.
Article
Mar 3 '20
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.
Press Release
Mar 3 '20
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.
Press Release
Feb 18 '20
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.
Article
Nov 28 '19
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.
