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.
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.