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.
Aug 4 '14
Micheal Silva discusses using a newly released GNAT system to program an STM32F4 Discovery board.