Kunden-News

Paris, 28. September 2021 – AdaCore wird Masten Space Systems bei der Erfüllung ihres NASA-Vertrages zur Landung wissenschaftlicher Nutzlasten auf dem Mond unterstützen. Für das Raumschiff XL-1 Lunar Lander von Masten kommen die Softwareentwicklungs- und Verifikationswerkzeuge von AdaCore zum Einsatz.

Masten Space Systems hat sich entschieden, die Programmiersprachen Ada und SPARK und die Entwicklungsumgebung GNAT Pro von AdaCore für das Forschungsprojekt zu verwenden. Das Unternehmen will SPARK Pro für die formale Verifikation einsetzen.

Masten Space Systems erhielt im April 2020 von der NASA den Auftrag in Höhe von 75,9 Millionen US-Dollar, Nutzlasten für die wissenschaftliche Forschung zum Südpol des Mondes zu transportieren. Der Vertrag für das Projekt Commercial Lunar Payload Services (CLPS) umfasst den gesamten Prozess von ersten Laborarbeiten über den Transport zur Mondoberfläche bis hin zur Landung, die Ende 2023 stattfinden soll. Auch nach der Landung wird es eine Reihe von weiteren Nutzlastdiensten geben.

Das Gelände am Südpol des Mondes ist geologisch von großem Interesse. Da es aber sehr uneben ist, erschwert es die Landung eines Raumfahrzeugs und die Erkundung mit einem Rover. Nach der Ankunft muss der Lander von Masten autonom die Polarregion erkunden, einen sicheren Landeplatz bestimmen und mögliche Gefahrenquellen umgehen.

Der X1 Lunar Lander von Masten ist mit zahlreichen eingebetteten Computern – sogenannten Electronic Control Units (ECUs) – ausgestattet, die verschiedene Komponenten ein- und ausschalten, die Triebwerke und Schubdüsen steuern und eine Schnittstelle zu den Sensoren bilden. Die Entwicklung der Software für diese kleinen und stark eingeschränkten ECUs ist nicht einfach: Die Software läuft in einer „Bare-Metal“-Konfiguration und muss extrem zuverlässig, aber gleichermaßen einfach zu warten sein. Um doppelten Aufwand zu vermeiden und die Entwicklungskosten sowie den Zeitaufwand gering zu halten, muss der Code auch modular und wiederverwendbar sein.

„Wir sind begeistert, dass das Team von Masten bei einem der derzeit aufregendsten Projekte für eine Mondlandefähre die Programmiersprachen Ada und SPARK einsetzt“, berichtet Quentin Ochem, Lead of Business Development bei AdaCore. „Wir freuen uns darauf, Masten bei der Bewältigung der einzigartigen Herausforderungen in Sachen Zuverlässigkeit der Mission mit formal bewährter Softwareentwicklung zu helfen.“

Masten sehe bereits, so Abhimanyu Ghosh, Avionic Software Engineer bei Masten Space Systems, den erheblichen Mehrwert von Ada, SPARK sowie der Produkte und des Supports von AdaCore für deren Embedded-Projekt. „Wir erwarten eine Zeitersparnis für die Verifizierung und Validierung um mindestens 20 bis 30 Prozent“, erklärt Ghosh. „Auch die Kosten und die Zeit für die gesamte Entwicklung werden um diesen Faktor sinken. Gleichermaßen gehen wir davon aus, dass die Wiederverwendung von Code ebenfalls um 20 bis 30 Prozent steigen wird.“

SPARK ist eine Programmiersprache und ein Toolset. Sie ist ein formal analysierbares Subset von Ada, einer modernen Programmiersprache, die weltweit bei der Entwicklung kritischer Software eingesetzt wird. Das SPARK-Toolset bietet durch den Einsatz formaler Methoden fundierte Sicherheit für die Softwareverifizierung. GNAT Pro ist AdaCores umfassende Entwicklungsumgebung für die Erstellung von Softwaresystemen, bei denen Effizienz, Zuverlässigkeit und Wartbarkeit entscheidend sind. Sie besteht aus einer Reihe von Tools und Libraries für große, unternehmenskritische Anwendungen.

Detaillierte Informationen bietet die umfangreiche Case Study, die auf der Website von AdaCore verfügbar ist.

Ü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

Über Masten Space Systems

Das 2004 in der kalifornischen Mojave-Wüste gegründete Unternehmen Masten Space Systems entwickelt Technologien zur Beschleunigung von Weltraum-Ökosystemen auf dem Mond, Mars und darüber hinaus. Ziel ist es, den Wert des Weltraums zu erschließen, der letztlich den Menschen auf der Erde zugute kommt. Die wiederverwendbaren Raketen, Mondlandegeräte und unterstützenden Technologien von Masten überwinden die Barrieren zum Weltraum für Regierungs-, Verteidigungs- und kommerzielle Kunden. Masten begann mit der Entwicklung von Prototypen seiner Senkrechtstart-/Senkrechtlande-Raketen (VTVL), lange bevor SpaceX und Blue Origin dieses Konzept bekannt machten. Dank der Pionierarbeit im Bereich VTVL gewannen sie 2009 die NASA Centennial Northrop Grumman Lunar Lander X-Prize Challenge. Seitdem hat Masten mit der NASA und anderen Kunden zusammengearbeitet, um den Technical Readiness Level (TRL) für eine Vielzahl von Raumfahrttechnologien zu verbessern. Kunden können ihre Nutzlast auf eine der Raketen von Masten laden und auf der Erde testen. Masten bietet einen einzigartigen Service an, der es seinen Kunden ermöglicht, die Rakete von Masten über die Nutzlast selbst zu steuern. Eine der Nutzlasten war das Lander Vision System (LVS) des Jet Propulsion Laboratory, das kürzlich für die Landung des Perseverance-Rovers auf dem Mars verwendet wurde. Das LVS wurde getestet und sein TRL-Wert durch Flüge mit der Xombie-Rakete von Masten verbessert. Im Jahr 2020 erhielt Masten einen CLPS-Vertrag der NASA für die Landung wissenschaftlicher Forschungsnutzlasten am Südpol des Mondes. Diese Landung ist für Ende 2023 geplant.

Pressekontakte

AdaCore
Juliana Silva
silva@adacore.com
www.adacore.com
http://twitter.com/AdaCoreCompany

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