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.
Sep 22 '14
Michael Silva shows how Ada can be used to program a 7-segment display on a microcontroller, and how Ada detected a bug in his program that would have gone undetected in some other commonly used languages.
Sep 19 '14
in Electronic Design
The author discusses using Ada on a small microcontroller board, the STmicroelectronics STM32F407 Discovery board.