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.
Press Release
Jun 26 '19
Code Dx, Inc., provider of an application security management solution, today announced its partnership with AdaCore. Through this partnership, Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator.
Press Release
May 26 '19
PTC has released of version 10.1 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release expands the support for Ada 2012 language features to include the complete set of Ada 2012 container packages and support for the associated Ada 2012 language constructs required by those packages. Support for dynamic contracts (preconditions and postconditions for subprograms), aspect specifications, new flexible forms of expressions has also been enhanced in this new release. ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).