Press Release
Jan 28 '16
AdaCore today announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based static analysis technology to the challenges of software verification for high-assurance systems. SPARK Pro 16 provides enhanced coverage of SPARK 2014 language features and now supports the Ravenscar tasking profile, thus extending the benefits of formal verification methods to a safe subset of Ada 2012 concurrent programming features. As another improvement SPARK Pro 16 can generate counterexamples to verification conditions that cannot be proved, thus making it easier for developers to find defects in the functional code or in the supplied contracts. SPARK Pro 16 also improves the handling of bitwise (modular) operations, and the product’s proof engine now includes the Z3 SMT solver.
Press Release
Jan 28 '16
The Direction Générale de l’Armement (DGA) – the French government agency that oversees military procurements – has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK.
Press Release
Jan 28 '16
AdaCore’ss CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited for usage on its digital terrain system for military transport aircraft. CodePeer CodePeer will automate parts of the DO 178B verification process of the terrain referenced navigation software.
Blog
Jan 6 '16
Currie Colket, a long-time advocate of Ada, passed away on December 23rd. Currie was best known for his work on ASIS, leading to the ISO standardization of ASIS.
One of the original Ada proponents, in the 1980s he served as the Navy Deputy to the Ada Joint Program Office. He was extremely active in the Ada community for many years.
(Thanks to SIGAda and especially David Cook for providing this summary of Currie’s career.)
Press Release
Jan 6 '16
Altran and Jaguar Land Rover announced a strategic collaboration to develop and market a unique and ground-breaking open software platform. This platform will revolutionize traditional Electrical and Electronic (E/E) automotive architectures by bringing together cutting-edge industrial and engineering techniques with the processes, methods and tools found in the consumer electronics industry.
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.
