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.
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.
Article
Feb 6 '19
Published
in NVidia by Shri Sundaram
NVidia is working with AdaCore to make improve the correctness of firmware.
Article
Oct 24 '18
Published
in Electronic Design by William Wong
A paper from VDC Research makes a compelling case that the Total Cost of Ownership of software developed in Ada is less than competing technologies, and that Ada projects are more likely to be on schedule.
Article
May 30 '18
Published
in Intelligent Aerospace by Courtney E. Howard
This article discussed the continuing adoption of Ada in aerospace and unmanned vehicle applications.
Article
Apr 1 '18
Published
in Accurate Ada News
The several new features for the Ada language have been approved. Included is a new assertion policy and a new pragma intended to improve the safety of Ada code.
Article
Mar 20 '18
Published
in Embedded.com by Ben Brosgol
The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.