AVIO entwickelt mit GNAT Pro Assurance Flugsoft-ware für das europäische Raumfahrtprogramm

Paris, 8. Januar 2019 – Das italienische Raumfahrtunternehmen AVIO implementiert die On-Board-Software für die Vega-C-Trägerrakete mit der Entwicklungsumgebung GNAT Pro Assurance von AdaCore.

Die von AVIO mit GNAT Pro Assurance entwickelte Flugsoftware wird von der Europäischen Weltraumorganisation ESA gefördert. Das eingebettete harte Echtzeitsystem dient der Lenkung, Navigation und Steuerung der Vega-C-Rakete. Die Cross-Umgebung von GNAT Pro Assurance ermöglicht es AVIO dabei, eine sicherheitskritische und zertifizierte Anwendung zu erstellen.

Als Entwicklungshost kommt ein Intel-x86-Linux System zum Einsatz, das Entwicklungstarget ist ein LEON2-ELF-System mit ZFP-Laufzeitbibliothek („Zero Footprint Profile“), die sich durch minimalen Laufzeitcode auszeichnet. Zur Emulation des Zielsystems auf dem Host nutzt AVIO den GNATemulator. Das Tool ist in der Lage, Anweisungen „on the fly“ vom Host zum Target zu übersetzen und erlaubt effiziente und komfortable Funktionsprüfungen.

Die Fertigstellung der On-Board-Software ist für das Jahr 2019 geplant. Das Projekt beinhaltet auch eine Zertifizierung der ZFP-Laufzeitbibliothek auf Level B der ESA-Standards ECSS-E-ST-40C und ECSS-Q-ST-80C.

„Ada und AdaCore haben eine langjährige Erfolgsgeschichte in der Raumfahrtindustrie vorzuweisen“, sagt Jamie Ayre, Commercial Director bei AdaCore. „AVIO kann in seinem Vega-C-Projekt von GNAT Pro Assurance immens profitieren – nicht zuletzt durch das vorhandene Zertifizierungsmaterial für Laufzeitbibliotheken. Wir freuen uns darauf, AVIO bei diesem Projekt und bei zukünftigen Projekten zu unterstützen.“

„Verlässlichkeit ist in unserer Branche das A und O. Die dreizehn erfolgreichen Vega-Starts der Vergangenheit zeigen, dass wir diese Anforderung kontinuierlich erfüllen“, so Paolo Bellomi, Engineering Director bei AVIO. „Wir sind uns sicher, mit AdaCores GNAT Pro Assurance eine Flugsoftware zu entwickeln, die zuverlässig ist, sich gleichzeitig einfach warten lässt und unkompliziert an künftige Anforderungen des Satellitenmarktes angepasst werden kann.“

Für die Programmiersprache Ada entschied sich AVIO wegen ihrer guten Unterstützung des Softwareentwicklungsprozesses mit integrierten Checks der Kompilier- und Laufzeit. Dadurch lassen sich Systeme einfacher erstellen, verifizieren und warten. Aus eigener Erfahrung wusste das Unternehmen bereits, dass Ada Programmierer dabei unterstützt und sie sogar dazu zwingen kann, qualitativ guten Code zu schreiben. Die Sprache und der Compiler erkennen Bugs lange bevor sie im fertiggestellten Produkt Sicherheitsrisiken oder Schwachstellen verursachen können. Die Vega-Anwendung wird sich voraussichtlich über viele Jahre weiterentwickeln und die Lesbarkeit von Ada sowie ihre Unterstützung modularer, erweiterbarer Designs wird die Anpassung der Software an neue Anforderungen erleichtern.

Auf AdaCore als Anbieter fiel die Wahl von AVIO vor allem wegen der langen Ada-Historie des Unternehmens und seinen Zertifizierungsmaterialien für Laufzeitbibliotheken. Sie können von AVIO für die ZFP-Zertifizierung genutzt werden. Weitere Faktoren waren die professionellen Support-Services von AdaCore, die komfortablen Testing-Möglichkeiten von GNATemulator, der für die Tools und Bibliotheken verfügbare Sourcecode sowie die Qualität der Dokumentation. Ausschlaggebend waren außerdem die positiven Rückmeldungen bei früheren Zertifizierungen von Laufzeitbibliotheken nach ECSS-Standards, die Tatsache, dass keine Lizenzdateien verwaltet werden müssen und die Unterstützung moderner 64-Bit-Linux-Systeme.

Die ersten Erfahrungen von AVIO mit GNATemulator sind äußerst positiv. Mit einer früheren Ada-Umgebung, die nicht von AdaCore stammte, hatten sich die Unit- und Monte-Carlo-Tests für AVIO noch kompliziert gestaltet. Manche Tests konnten nativ durchgeführt werden, während andere auf dem Zielsystem ausgeführt werden mussten. Das erforderte zwei verschiedene Compiler-Konfigurationen und verursachte einen komplexen Workflow. Mit der Toolsuite von AdaCore dagegen kann AVIO sämtliche Tests direkt auf GNATemulator fahren und dabei ein- und denselben Compiler mit denselben Einstellungen verwenden. Dadurch wird der Entwicklungsprozess erheblich vereinfacht.

Über AVIO

AVIO ist ein international führender Konzern für den Bau und die Entwicklung von Trägerraketen sowie für Feststoff- und Flüssigstoffantriebe für die Raumfahrt. Mit seiner in mehr als 50

Jahren erworbenen Erfahrung und seinem Know-how steht AVIO für hochmoderne Technologien in den Bereichen Trägerraketen, Feststoff- und Flüssigstoffantriebe sowie kryogene und taktische Antriebssysteme. AVIO ist in Italien, Frankreich und Französisch-Guyana tätig und verfügt über

fünf Standorte mit rund 850 hochqualifizierten Mitarbeitern, von denen circa 30 Prozent in die Forschung und Entwicklung eingebunden sind. AVIO ist Hauptauftragnehmer des Vega-Programms und Unterauftragnehmer des Ariane-Programms. Beide Programme werden von  der  Europäischen Weltraumorganisation ESA finanziert. Italien ist somit eines der wenigen Länder, die ein komplettes Raumfahrzeug produzieren können.

Ü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:
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

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

EU:
Pamela Trevino
AdaCore Marketing Specialist
+33 1 49 70 87 93