Article
Nov 19 '15
Published
in Electronic Design by Claire Dross
This article describes the differences between Ada and SPARK, including why one would choose one or the other.
Article
Oct 21 '15
Published
in Electronic Design by Richard Kenner
A discussion about securing communications and systems, including how Ada and SPARK can help.
Blog
Sep 3 '15
The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.
Press Release
Sep 1 '15
AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for the Raspberry Pi 2 micro-PC running Embedded Linux. With this new cross-development environment, everyone can take advantage of Ada 2012’s reliability, safety and security benefits for their Raspberry Pi 2 applications.
Article
Aug 20 '15
Published
in Military Embedded Systems by Sally Cole
Once considered a DoD-only programming language, Ada continues to evolve and is increasingly being taught in universities around the globe for high-integrity applications that demand safety, security, and reliability. The language, around since the early 1980s, is now undergoing a revival of sorts in industry and in academia.
Press Release
Jul 21 '15
AdaCore’s GNAT Pro is now available for Wind River VxWorks 7. AdaCore engineers worked closely with Wind River on this new product, ensuring that it would support both single- and multi-core systems, as well as other architectures. Enhancements over previous versions include a completely reengineered open source debugger protocol and more seamless integration with Wind River Workbench, and the development environment handles both all-Ada and multi-language applications.
Article
Jul 8 '15
Published
in Embedded.Com by Jack Ganssle
Jack Ganssle uses the occasion of Robert Dewar’s passing to describe some of the benefits of using Ada over C in embedded projects.
Press Release
Jul 3 '15
Robert K. B. Dewar passed away on June 30th, 2015, succumbing to cancer. Dr. Dewar was involved in Ada from early days; he was one of the primary architects of Ada/Ed and later GNAT, he was a co-founder of AdaCore, and he remained active in language standardization activities until his death. For his many other accomplishments, see the AdaCore press release that is linked.
Press Release
May 7 '15
AdaCore today released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code. CodePeer 3.0 includes a variety of enhancements that help developers detect potential run-time and logic errors early in the software life cycle, and its deep analysis can directly support formal certification against industry-specific safety standards.
