University of Colorado's Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project

AdaCore reports that the University of Colorado's Laboratory for Atmospheric and Space Physics (LASP) has selected the Ada language and the GNAT Pro for the ARM Cortex product for NASA's Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder mission.

CLARREO Pathfinder will deploy a Reflected Solar spectrometer on the International Space Station (ISS) starting in 2021 that will detect the complete spectrum of radiation from the Sun reflected by Earth.

LASP has selected the Ada language over C, to develop the orchestration and interface portions of the CLARREO Pathfinder flight software, which is responsible for controlling the instruments and interfacing with the ISS. The application will run on an ARM Cortex M1 FPGA board, using a bare metal configuration together with the Ravenscar micro-kernel provided by the GNAT Pro toolchain.

"We selected Ada and the Ravenscar micro-kernel for several reasons: it is as efficient as C, allows object-oriented design, will increase reliability, and provides a tasking system without introducing a great deal of complexity like many of the other options we considered," said Mathew Merkow, CLARREO Pathfinder flight software lead at LASP.

"Ada provided an extremely robust and efficient foundation for our framework, Adamant. We partnered with AdaCore to port Ravenscar to the Cortex M1; they have been a great partner, and we are excited to continue our relationship with them on this and future projects."

"The CLARREO Pathfinder project represents a new generation of applications developed with Ada, in areas where C has been the traditional choice," said Quentin Ochem, lead of business development at AdaCore. "We are excited to support the usage of our technology to meet the ever-increasing reliability requirements and challenges of space missions."

Related Links
AdaCore
Earth Observation News - Suppiliers, Technology and Application

Tweet

Thanks for being there;
We need your help. The SpaceDaily news network continues to grow but revenues have never been harder to maintain.

With the rise of Ad Blockers, and Facebook - our traditional revenue sources via quality network advertising continues to decline. And unlike so many other news sites, we don't have a paywall - with those annoying usernames and passwords.

Our news coverage takes time and effort to publish 365 days a year.

If you find our news sites informative and useful then please consider becoming a regular supporter or for now make a one off contribution.

SpaceDaily Monthly Supporter
$5+ Billed Monthly

paypal only

SpaceDaily Contributor
$5 Billed Once

credit card or paypal

The open air as an underappreciated habitat
Berlin, Germany (SPX) May 22, 2018
Numerous bat species hunt and migrate at great altitudes. Yet the open sky had, until recently, not been on the radar of conservation scientists as a habitat relevant to a large variety of species. Christian Voigt and colleagues from the Leibniz Institute for Zoo and Wildlife Research (IZW) in Berlin have collated the current scientific knowledge on potential hazards to one group of animals flying at high altitudes, bats. In their recent article published in BioScience the authors synthesise ... read more