Feb 24 '15
AdaCore has released QGen, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code.
Feb 24 '15
AdaCore has released GNAT Pro 7.3, the latest version of the company’s flagship Ada Development Environment. GNAT Pro 7.3 incorporates performance improvements, new functionality, and many other enhancements.
Jan 13 '15
The Muen Kernel enforces a strict and robust isolation of components to shield security-critical functions from vulnerable software running on the same physical system. To achieve the necessary level of trustworthiness, the Muen team used the SPARK language and toolset to formally prove the absence of run-time errors. The most recent version of the Kernel upgrades the software to use the SPARK 2014 language, which allows the team to use more of the Ada language and provide the annotations in a more readable form.
Dec 8 '14
Here are some recent updates to our Free Tools and Libraries page:
December 8, 2014: Added Gnoga, a framework for creating platform-independent user interfaces in Ada.
November 11, 2014: Added Ada 4 Automation, a framework for designing industrial automation applications in Ada.
May 7, 2014: Added Mathpaqs, libraries for various math operations in Ada.
March 25, 2014: Added ASISXML, a tool for converting the ASIS representation of an Ada unit into XML.
March 17, 2014: Added Adaino, a toolset for developing Ada applications on Arduinos.
(This post will be periodically updated – Webmaster.)
Dec 3 '14
SIGAda has made a new set of “Powered by Ada” posters available, featuring the Rosetta and VTC Cubesat spacecrafts. All are available as high-quality PDFs.
Oct 23 '14
AdaCore’s GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid (Universidad Politécnica de Madrid / UPM), for the UPMSat-2 UNION satellite project’s real-time on-board and ground control software. The 50kg micro-satellite, scheduled to be launched in Q4 2015, will provide a technology demonstration platform for the university from a sun-synchronous orbit nearly 600 km above Earth.
Oct 23 '14
AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries.