ESA selects AdaCore's qualified multitasking solution for spacecraft software development

AdaCore reports that the European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.

As part of this contract, AdaCore has implemented a pre-qualified version of the Ravenscar Small Footprint (SFP) library - a configurable Ada run-time library that implements the Ravenscar profile, allows customisation for specific platforms and capabilities, and is suitable for qualification in different domains, particularly those in which certification or a reduced footprint is needed.

The result, a pre-qualified, multitasking runtime named Ravenscar SFP QUAL, targets Ada development on LEON2 and LEON3 boards. It is pre-qualified according to the European Cooperation for Space Standardisation's (ECSS) Criticality Level B for software.

ECSS is an initiative established to develop a coherent, single set of user-friendly standards for use in all European space activities. ECSS-E-ST-40C and ECSS-Q-ST-80C are the software-related standards for use in all European space projects and applications.

As part of the validation and verification activities, a comprehensive test suite is also being developed to check compliance with restricted Ada profiles.

"Reliability of mission-critical software is a key factor for ESA satellite missions," said Mark Dean, Software Engineer, European Space Agency.

"We are confident that AdaCore's tools and run-time environment are able to provide a solid base for the development and qualification of such applications. The recent cooperation between ESA and AdaCore to pre-qualify the generic elements of AdaCore's Ravenscar SFP run-time towards the ECSS software standards ensures these tools are readily available to the European space industry and offers a clear path towards software qualification on a number of upcoming missions."

"AdaCore has a long and successful track record working with the ESA and the Space industry," said Jamie Ayre, Commercial Director at AdaCore.

"We are pleased that ESA recognises the benefits of GNAT Pro and the Ravenscar profile run-time libraries for designing, developing, and now qualifying mission-critical space applications. We look forward to supporting ESA's software efforts on this and other projects long into the future."

Related Links
AdaCore
Space Technology News - Applications and Research

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

Celestia Technologies Group UK gears up for eScan expansion in the UK
Harwell UK (SPX) Sep 27, 2019
Celestia Technologies UK Ltd (Celestia UK) is gearing up for the further development and commercialisation of its next generation, electronic scanning (eScan), phased array ground station by making additional UK recruitment investment to ensure it capitalises on the huge market potential offered by this exciting new technology. Four new appointments have been made at senior level at the company's UK headquarters in Harwell, Oxfordshire to build on the current Celestia UK team and boost the busines ... read more