Press Release
Jul 2 '16
AdaCore has published a 70-page booklet authored by AdaCore expert Quentin Ochem and CERTIFIER safety assessor Jean-Louis Boulanger; it summarizes CENELEC EN 50128:2011 railway software standard and explains how the Ada programming language and AdaCore’s products can be used to meet its requirements throughout the software life cycle. The report can be downloaded from http://adacore.com/en-50128.
Press Release
Jun 20 '16
Today, AdaCore launched the “Make with Ada” programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition will run from June 20 to September 30, 2016 and offers over €8000 in total prizes.
Press Release
Jun 13 '16
PTC today announced its first release of full 64-bit code generation capability in the PTC
® ObjectAda product line. With this release of PTC ObjectAda64 v9.2 for
Windows, ObjectAda gains full 64-bit application development & execution as well as Windows 10 compatibility.
Article
Mar 24 '16
Published
in Electronic Design by Ben Brosgol
Ben debunks 11 myths about the Ada Programming Language, starting with “Ada is dead”.
Press Release
Feb 24 '16
AdaCore has released a new version of its flagship GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements.
Press Release
Feb 24 '16
AdaCore has released a new version of its model-based development and verification toolset, QGen. QGen provides a qualifiable and customizable code generator from Simulink® and Stateflow® models to the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modeling safety-critical control systems.
Article
Feb 5 '16
Published
in Electronic Design by William Wong
Bill Wong describes AdaPilot, a new open-source project to develop a safety-critical flight-controller system based on Ada-SPARK.
Article
Feb 5 '16
Published
in Electronic Design by Ben Brosgol
Ben Brosgol compares and contrasts Ada and C, and suggests when you should use each.
Blog
Jan 29 '16
The first update to Ada 2012, a Technical Corrigendum, has completed the standardization process and has been published by ISO. The new document, ISO/IEC 8652:2012/Cor 1:2016, consists of corrections to the Ada 2012 Standard. Some of the corrections include minor new features, such as raise expressions, and aspects Predicate_Failure and Exclusive_Functions. Since the Corrigendum is purely a correction document, its publication does not create a new Ada version; Ada 2012 is modified to include these changes.
