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.
Blog
May 25 '20
Here are some recent updates to our Free Tools and Libraries page:
June 5, 2020: Added HAC, a compiler for an Ada subset.
Add Ada NetFramework, a library and runtime to allow native Ada applications to use Microsoft NetFramework.
March 2, 2020: Added Stack Usage, a tool that analyzes call information produced by GNAT in order to determine maximum stack usage for a task.
November 27, 2019: Added SrcTrace, a tool that generates an Ada package containing the source details for a
particular build of a program
Added VScode Extensions, extensions to the VSCode editor to support Ada programming.
July 26, 2019: Added dcf-ada, an Ada library for handling Document Container Files
April 12, 2019: Christoph Grein’s pages were moved to the AdaIC Archives, as he is giving up his personal website.
Added ALog, a stackable logging framework for Ada.
Added Orka, Orka is an OpenGL 4.6 rendering kernel written in Ada.
(This post will be periodically updated – Webmaster.)
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.
Article
Oct 30 '19
Published
in Electronic Design by William Wong
William Wong announces the 2019 edition of the Make It With Ada contest.
Article
Oct 29 '19
Published
in Electronic Design
Electronic Design provides a compilation of all of their articles on Ada and SPARK.
Article
Oct 24 '19
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.
