Select Language

Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet

Thales Alenia Space implements critical spacecraft software in Ada

CANNES, France & TORINO, Italy & PARIS & NEW YORK, July 19, 2016 - AdaCore today announced that its GNAT Pro Ada cross compilation environment has been successfully used by Thales Alenia Space to develop and verify the critical software embedded on the ExoMars program. Thales Alenia Space implemented in Ada two ExoMars On-Board Software (OBSW) components: one for the Trace Gas Orbiter (TGO) on an ERC32 target, and one for the Entry, Descent and Landing Demonstrator Module (EDM) on a LEON2 target.

Both TGO and EDM OBSW are hosted on their respective centralized hardware platforms. Each OBSW component is a self-contained piece of software handling all Platform applications and performing Payload interface management functions, which are necessary to fulfill the mission objectives under the satellite-specific operational conditions. The OBSW has been developed following a layered and modular architecture to facilitate an incremental development and verification process, to improve the management of multiteam development, to maximize reuse and to ease maintenance.

Thales Alenia Space also uses Ada for its internal real-time kernel product used to ensure a higher safety-critical level with a small memory footprint and good performance.

The development process has been performed according to the European Space Agency (ESA) ECSS standards, reaching compliance with criticality level B.

In addition to the compilation tools, several AdaCore tools were successfully used, including the GNAT Programming Studio (GPS) Integrated Development Environment (IDE) and the static analysis tool GNATstack.

The ExoMars program marks a continuation of GNAT Pro and Ada’s long and successful history in space applications, helping software developers to achieve the high reliability required in that domain. 

“We are very pleased to have helped Thales Alenia Space go to the Red Planet thanks to our high-integrity tools for the Green Language,” said Cyrille Comar, AdaCore President. “Long-term space projects such as ExoMars gain particular benefits -- higher assurance with lower development and verification cost -- from our open-source tools and libraries that have been adapted to meet the most stringent certification requirements.”

“AdaCore has a longstanding business relationship with Thales Alenia Space,” said Laurent Scarfo, Thales Alenia Space OBSW project manager. “We started working together in 2007 with OBSW embedded in a satellites constellation. Now, AdaCore is flying successfully to Mars!”

 

Photo Credit : ESAPhoto Credit: ESA


About ExoMars
The ExoMars program is a cooperative effort between the European Space Agency (ESA) and the Russian Federal Space Agency (Roscosmos), with a contribution from NASA in the U.S.. Thales Alenia Space is leading the program as Industrial Prime for the European Space Agency.

ExoMars consists of two missions, one that was launched in March 2016 and a follow-up that is scheduled for 2020. In the ExoMars 2016 mission, an Orbiter (TGO) is carrying a Descent Module (EDM) that will land on the Martian surface in October. A platform deposited by the EDM will perform a variety of scientific measurements, while the TGO will measure the concentration of gas in the atmosphere once it reaches its final scientific orbit around Mars in December 2017.

About Ada
Ada was the product of an international competition to design a modern programming language for long-lived, high-integrity, embedded real-time systems, combining support for sound software engineering (for both sequential and concurrent applications) with facilities for low-level programming. The winning entry in the competition was known as the Green Language, from CII-Honeywell-Bull in France. Since its inception in the early 1980s, Ada has evolved to include full support for Object-Oriented Programming, a comprehensive set of predefined libraries, and various Specialized Needs Annexes for application areas such as Systems Programming. The most recent version of the language, Ada 2012, includes features for contract-based programming that embed low-level requirements in the source code where they can be verified either dynamically with run-time checks or at compile time with appropriate tool support. Ada usage continues to grow, especially in high-integrity domains such as space, avionics, air traffic management/control, rail systems, automotive, financial systems and many others.

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, railway systems, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About Thales Alenia Space
Thales Alenia Space, a joint venture between Thales (67 percent) and Leonardo-Finmeccanica (33 percent), is a key European player in space telecommunications, navigation, Earth observation, exploration and orbital infrastructures. Thales Alenia Space and Telespazio form the two parent companies’ “Space Alliance”, which offers a complete range of services and solutions. Because of its unrivaled expertise in dual (civil/military) missions, constellations, flexible payloads, altimetry, meteorology and high-resolution optical and radar instruments, Thales Alenia Space is the natural partner to countries that want to expand their space program. The company posted consolidated revenues in excess of 2.1 billion euros in 2015, and has 7,500 employees in 8 countries. www.thalesaleniaspace.com

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US:
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

Thales Alenia Space nutzt Entwicklungsumgebung GNAT Pro für kritische Marsmission

Paris,  19. Juli 2016 –  Mit Ada an Bord zum Roten Planeten: Das Raumfahrtunternehmen Thales Alenia Space hat mit der GNAT-Pro-Entwicklungsumgebung von AdaCore kritische Softwareanwendungen für das ExoMars-Programm erstellt und verifiziert.

Thales hat die Entwicklungsumgebung eingesetzt, um damit zwei On-Board-Software (OBSW)-Komponenten für ExoMars in der Programmiersprache Ada zu implementieren: eine für die Raumsonde Trace Gas Orbiter (TGO), die sich im März 2016 auf den Weg zum Mars machte, und eine für das Landemodul Entry, Descent and Landing Demonstrator Module (EDM), das die Sonde an Bord hat.

Beide Komponenten werden jeweils auf ihrer zentralisierten Hardware-Plattform gehostet und stellen eine eigenständige Softwarelösung dar. Ihre Aufgabe ist es, sämtliche Anwendungen ihrer Plattform zu steuern und das Schnittstellen-Management der Telekommunikations-Nutzlasten durchzuführen. Diese Funktionalität ist nötig, damit die Ziele der Mission unter den Satelliten-spezifischen Arbeitsbedingungen erfüllt werden können.

Die Entwicklung der OBSW-Komponenten folgte einer geschichteten und modularen Architektur. Diese ermöglicht einen inkrementellen Entwicklungs- und Verifikations-Prozess, unterstützt die teamübergreifende Entwicklung, maximiert die Wiederverwendbarkeit von Software und vereinfacht ihre Wartung. Der Entwicklungsprozess wurde gemäß der ESCC-Standards der Europäischen Weltraumorganisation ESA ausgeführt und entsprach dem Kritikalitätslevel B.

Für GNAT Pro und Ada markiert ExoMars die Fortsetzung einer langen und erfolgreichen Geschichte im Einsatz für Raumfahrt-Anwendungen. Die Programmiersprache und die Entwicklungsumgebung helfen Software-Entwicklern traditionell dabei, die hohe Verlässlichkeit zu erreichen, auf die es in diesem speziellen Umfeld ganz besonders ankommt.

Neben der GNAT-Pro-Entwicklungsumgebung setzte Thales noch weitere Tools von AdaCore erfolgreich für das ExoMars-Programm ein. Dazu zählen die Entwicklungsumgebung GNAT Programming Studio (GPS) Integrated Development Environment (IDE) und das statistische Analysetool GNATstack.

Unabhängig von ExoMars verwendet Thales die Programmiersprache Ada auch für seine internen Echtzeit-Kernel-Produkte. Mit ihnen kann das Unternehmen bei niedrigerem Speicherbedarf und hoher Leistung ein höheres sicherheitskritisches Level erreichen.

„Wir freuen uns sehr darüber, Thales Alenia Space mit unseren Tools für Ada auf dem Weg zum Roten Planeten helfen zu können“, sagt Cyrille Comar, President von AdaCore. „Langfristig angelegte Raumfahrtprojekte wie ExoMars können besonders von unseren Open-Source-Werkzeugen und Bibliotheken profitieren. Sie erfüllen die strengsten Anforderungen und bieten große Verlässlichkeit bei niedrigen Entwicklungs- und Verifikations-Kosten.“

„AdaCore und wir können bereits auf eine langjährige Geschäftsbeziehung zurückblicken“, so Laurent Scarfo, OBSW-Projektmanager bei Thales Alenia Space. „Unsere Zusammenarbeit begann 2007, als es um On-Board-Software-Komponenten für eine Satellitenkonstellation ging. Und jetzt fliegt AdaCore mit uns zum Mars!“

Diese Presseinformation kann unter
www.pr-com.de/adacore abgerufen werden.

Photo Credit : ESACredit: ESA

 

Über ExoMars
Das ExoMars-Programm ist ein gemeinsames Raumsondenprojekt der Europäischen Weltraumorganisation ESA und der russischen Raumfahrtagentur Roskosmos, das auch von der US-amerikanischen Raumfahrtbehörde NASA unterstützt wird. Thales Alenia Space führt das Programm als industrieller Hauptauftragnehmer der ESA an.
ExoMars besteht aus insgesamt zwei Missionen. Die erste Mission begann im März 2016, als eine Raumsonde mit Landemodul an Bord in Richtung Mars startete. Im Oktober 2016 wird das Landemodul auf der Marsoberfläche landen und dort eine Plattform absetzen, die wissenschaftliche Messungen durchführt. Die Raumsonde wird dann im Dezember 2017 ihre endgültige Umlaufbahn um den Roten Planeten erreichen und die Gaskonzentration in der Atmosphäre des Mars messen. Die zweite Mission – eine Folgemission von ExoMars 2016 – ist für das Jahr 2020 geplant.

Über Thales Alenia Space
Thales Alenia Space, ein Joint Venture von Thales (67%) und Leonardo-Finmeccanica (33%), ist ein europäischer Marktführer für Weltraum-Telekommunikation, Navigation, Erdbeobachtung, Erforschung und orbitale Infrastrukturen. Zusammen mit dem Unternehmen Telespazio bildet Thales Alenia Space außerdem die „Space Alliance“ mit einem Komplettangebot an Services und Lösungen.
Thales Alenia Space beschäftigt über 7.500 Mitarbeiter in acht Ländern und verfügt über umfassende Expertise für zivile und militärische Missionen und Konstellationen, flexible Telekommunikations-Nutzlasten, Höhenmessung, Meteorologie und hochauflösende optische und Radar-Instrumente. Zahlreiche Länder, die ihr Raumfahrt-Programm ausweiten möchten, arbeiten mit Thales Alenia Space zusammen.

Weitere Informationen: www.thalesaleniaspace.com

Über AdaCore
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Pressekontakte:
AdaCore 
Jamie Ayre 
press@AdaCore.com  
www.AdaCore.com 
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803

Ada à bord : GNAT Pro aide ExoMars à débarquer sur la planète rouge

Thales Alenia Space développe un logiciel critique pour véhicules spatiaux en Ada

CANNES, France / TURIN, Italie / PARIS & NEW YORK, 19 juillet 2016 - AdaCore a annoncé aujourd’hui que son environnement de compilation croisée, dénommé GNAT Pro, avait été employé avec succès par Thales Alenia Space afin de développer et de vérifier le logiciel critique intégré au programme ExoMars. Thales Alenia Space a développé en Ada deux composants du logiciel de bord (OBSW) ExoMars : l’un pour la sonde Trace Gas Orbiter (TGO) sur un processeur ERC32, et l’autre pour le module de démonstration d’Entrée/Descente/Atterrissage (EDM) sur un processeur LEON2.

Les logiciels de bord de TGO et de l’EDM sont tous deux hébergés sur leurs plates-formes matérielles centralisées respectives. Chaque composant de l’OBSW est constitué d’un fragment logiciel autonome, fragment traitant toutes les applications de plate-forme et les fonctions de gestion d’interface Payload nécessaires à l’accomplissement des objectifs de la mission dans les conditions d’exploitation spécifiques liées à l’usage des satellites. L’OBSW a été mis au point sur le modèle d’une architecture modulaire et en couches afin de favoriser un processus incrémental de développement et de vérification, d’améliorer la gestion du développement fragmenté en équipes, de maximiser le réemploi et de faciliter la maintenance.

Thales Alenia Space utilise également Ada pour son propre noyau temps réel, produit assurant un très haut niveau de sécurité pour un faible encombrement mémoire et de bonnes performances.

Le processus de développement s’est déroulé conformément aux normes ECSS de l’Agence spatiale européenne (ESA), atteignant le niveau de criticité B.

Outre les outils de compilation, plusieurs outils d’AdaCore ont été employés avec succès, notamment l’environnement de développement intégré (IDE) GNAT Programming Studio (GPS) et l’outil d’analyse statique GNATstack.

Le programme ExoMars s’inscrit dans la continuité de la déjà longue expérience de GNAT Pro et d’Ada dans le domaine des applications spatiales, permettant ainsi aux développeurs de logiciels de répondre aux besoins de haute fiabilité exigés par ce secteur. 

« Nous sommes ravis d’avoir pu aider Thales Alenia Space à se rendre sur la planète Rouge grâce à nos outils pour les logiciels critiques développés dans le langage Vert », se félicite Cyrille Comar, président d’AdaCore. « Nos outils et bibliothèques open source, qui ont été adaptés afin de répondre aux exigences les plus strictes en matière de certification, sont particulièrement utiles aux projets spatiaux de long terme tels qu’ExoMars, et ce du fait de leurs caractéristiques : une meilleure fiabilité pour des coûts réduits en termes de développement et de vérification. »

« AdaCore entretient une relation commerciale de longue date avec Thales Alenia Space », explique Laurent Scarfo, chef de projet OBSW chez Thales Alenia Space. « Nous avons commencé à collaborer en 2007 sur une intégration d’OBSW dans une constellation satellitaire. C’est comme cela qu’aujourd’hui AdaCore se retrouve à faire cap sur Mars ! »

Photo Credit : ESACredit: ESA

 

À propos d’ExoMars
Le programme ExoMars est le fruit d’une coopération entre l’Agence spatiale européenne (ESA) et l’Agence spatiale fédérale russe (Roscosmos), auxquelles s’ajoute la participation de la NASA américaine. Thales Alenia Space pilote le programme en tant que maître d’œuvre pour le compte de l’Agence spatiale européenne.

ExoMars se divise en deux missions : la première a été lancée en mars 2016, tandis qu’une mission subséquente est programmée pour 2020. Dans le cadre de la mission de 2016, un orbiteur (TGO) transporte un module de descente (EDM) qui atterrira sur la surface de Mars au mois d’octobre. Une plate-forme déposée par l’EDM procédera alors à toute une série de mesures scientifiques, tandis que TGO mesurera la concentration de gaz dans l’atmosphère une fois son orbite scientifique finale autour de Mars atteinte en décembre 2017.

À propos d’Ada
Ada est le résultat d’un concours international qui visait à concevoir un langage de programmation moderne pour les systèmes temps réel embarqués critiques et à longue durée de vie, associant une ingénierie logicielle de qualité (pour les applications séquentielles comme pour les applications concurrentes) à des capacités de programmation à bas niveau. Le concours a été remporté par ce que l’on appelle le langage Vert, mis au point par CII-Honeywell-Bull en France. Depuis sa création au début des années 1980, Ada a évolué pour prendre en charge entièrement la programmation orientée objets, un ensemble complet de bibliothèques prédéfinies, et diverses annexes liées à des besoins spécifiques dans des domaines d’application tels que la programmation système. La version la plus récente du langage, Ada 2012, intègre des fonctionnalités destinées à la programmation par contrat qui permet d’inclure les spécifications de bas niveau dans le code source, où elles peuvent être vérifiées soit de manière dynamique via des vérifications à l’exécution, soit à la compilation au moyen d’outils appropriés. Le recours à Ada continue de se répandre, en particulier dans des domaines hautement sensibles tels que le domaine spatial, l’avionique, la gestion et le contrôle du trafic aérien ou encore les systèmes ferroviaires, automobiles et financiers, parmi tant d’autres.

À propos d’Adacore
Fondée en 1994, la société AdaCore fournit des outils de développement et de vérification des logiciels critiques, nécessitant de hauts niveaux de sécurité et/ou de sûreté. Quatre produits phares sont au cœur des offres de la société :

  • L’environnement de développement GNAT Pro pour Ada, un ensemble complet d’outils pour la conception, la mise en œuvre et la gestion d’applications exigeant une haute fiabilité notamment pendant la phase de maintenance,
  • L’outil d’analyse statique avancé CodePeer, un outil d’analyse et de validation automatique d’Ada susceptible de détecter et d’éliminer les erreurs tant au cours du développement que rétrospectivement sur les logiciels existants,
  • L’environnement de vérification SPARK Pro, un ensemble d’outils fondé sur des méthodes pour les systèmes très critiques, et
  • L’outil QGen pour le développement basé sur les modèles, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® et Stateflow®, conçu pour les systèmes de contrôle critiques.

Au fil des années, nos clients ont utilisé les produits d’AdaCore pour établir et entretenir un large éventail d’applications critiques dans des domaines comme les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, la gestion et le contrôle du trafic aérien, les systèmes ferroviaires, les dispositifs médicaux et les services financiers. AdaCore dispose d’une large clientèle internationale en constante expansion ; rendez-vous sur www.adacore.com/customers/ pour plus d’informations.

Les produits d’AdaCore sont open source et sont fournis avec une assistance en ligne assurée par les développeurs experts eux-mêmes. Le siège de la société est établi à New York pour l’Amérique du Nord et à Paris pour l’Europe. www.adacore.com

À propos de Thales Alenia Space
Thales Alenia Space, joint-venture composée de Thales (67 %) et de Leonardo-Finmeccanica (33 %), est un acteur européen majeur dans le domaine des télécommunications spatiales, de la navigation, de l’observation de la Terre, de l’exploration et des infrastructures orbitales. Thales Alenia Space et Telespazio forment ensemble l’« Alliance spatiale » des deux maisons mères, qui propose une gamme complète de services et de solutions. En raison de son expérience inégalée dans les missions doubles (civiles/militaires), les constellations, les charges utiles flexibles, l’altimétrie, la météorologie et les instruments optiques et radar à haute résolution, Thales Alenia Space constitue le partenaire naturel des pays qui souhaitent dynamiser leur programme spatial. La société a dégagé un CA consolidé de plus de 2,1 milliards d’euros en 2015 et emploie 7 500 personnes dans huit pays. www.thalesaleniaspace.com

Contact pour la presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Europe
Emma Adby
Responsable opérations marketing pour AdaCore
+33 1 49 70 87 82

États-Unis
Jessie Glockner
Responsable relations publiques pour AdaCore
+1-646-532-2723