Fidest – Agenzia giornalistica/press agency

Quotidiano di informazione – Anno 30 n° 265

University of Colorado’s Laboratory for Atmospheric and Space Physics Adopts Ada and GNAT Pro for NASA Project

Posted by fidest press agency su venerdì, 25 maggio 2018

AdaCore today announced 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.”

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

w

Connessione a %s...

 
%d blogger hanno fatto clic su Mi Piace per questo: