Ada Resource Association

AdaCore today announced the preview release of GNATdashboard, a new tool that serves as a control panel for monitoring and improving the quality of Ada software. GNATdashboard feeds code quality information from AdaCore’s tools to the open source SonarQube code quality management platform and Squoring Technologies’ SQUORE quality and performance decision support solution.

“For the first time, a tool focused on software quality assessment and management is available for Ada developers. It’s designed to help users understand their technical debt – which is essentially the price one pays for choices such as design decisions that make it difficult to implement changes later.”

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.

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.

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.

AdaCore has released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Developers of non-proprietary software can now exploit Ada 2012’s reliability, safety and security benefits for ARM applications.

GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain and GPS, AdaCore’s flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.