Nov 19 '15
in Electronic Design
This article describes the differences between Ada and SPARK, including why one would choose one or the other.
Oct 21 '15
in Electronic Design
A discussion about securing communications and systems, including how Ada and SPARK can help.
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.
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.
Aug 20 '15
in Military Embedded Systems
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.
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.
Jul 8 '15
Jack Ganssle uses the occasion of Robert Dewar’s passing to describe some of the benefits of using Ada over C in embedded projects.
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.
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.