(openPR) Paris, 24. September 2019 – Die European Space Agency (ESA) hat Adacore ausgewählt, um eine hochwertige Multitasking-Lösung für die Raumschiff-Softwarentwicklung zur Verfügung zu stellen. Laufende und künftige ESA-Projekte werden damit unterstützt.
Als Teil des Vertrags mit der ESA hat Adacore eine vorqualifizierte Version der Ravenscar SFP (Small Footprint) Library implementiert, einer konfigurierbaren Ada-Runtime-Bibliothek. Sie enthält das Ravenscar-Profil, erlaubt kundenspezifische Anpassungen für spezifische Plattformen und Fähigkeiten und lässt sich in unterschiedlichen Bereichen einsetzen, vor allem in Bereichen, in denen Zertifizierungen oder ein verringerter Footprint notwendig sind.
Das Ergebnis, eine vorqualifizierte Multitasking-Runtime-Umgebung namens Ravenscar SFP QUA, zielt auf Ada-Entwicklungen auf LEON2- und LEON3-Boards. Die Vorqualifizierung entspricht dem Criticality Level B for Software der ECSS (European Cooperation for Space Standarisation). Die ECSS-Initiative wurde ins Leben gerufen, um kohärente und benutzerfreundliche Standards für sämtliche europäische Weltraum-Aktivitäten zu entwickeln. ECSS-E-ST-40C and ECSS-Q-ST-80C sind die Software-bezogenen Standards, die allen europäischen Weltraum-Aktivitäten und -Applikationen zugrunde liegen.
Als Teil der Validierungs- und Überprüfungsaktivitäten wird auch eine umfangreiche Test-Suite entwickelt, um die Konformität mit eingeschränkten Ada-Profilen zu prüfen.
„Die Zuverlässigkeit von Mission-Critical-Software ist ein Schlüsselfaktor für die Satelliten-Missionen der ESA“, erklärt Mark Dean, Softwareingenieur bei der European Space Agency. „Wir sind zuversichtlich, dass die Werkzeuge und Runtime-Umgebungen von AdaCore eine solide Basis für die Entwicklung und Qualifizierung von solchen Applikationen darstellen. Die jüngste Zusammenarbeit zwischen der ESA und AdaCore zielt darauf, die generischen Bestandteile von AdaCores Ravenscar SFP Runtime hinsichtlich der ECSS-Softwarestandards vorzuqualifizieren. Sie stellt sicher, dass diese Werkzeuge der europäischen Raumfahrtindustrie schnell zur Verfügung stehen und einen klaren Pfad zur Softwarequalifizierung vieler bevorstehender Missionen bieten.“
„AdaCore hat eine lange Erfolgsgeschichte zusammen mit der ESA und der Raumfahrtindustrie“, erläutert Jamie Ayre, kaufmännischer Leiter bei AdaCore. „Wir freuen uns sehr, dass die ESA die Vorteile von GNAT Pro und der Ravenscar-Profile-Runtime-Bibliotheken für das Design, die Entwicklung und jetzt auch die Qualifizierung von Mission-Critical-Raumfahrt-Anwendungen erkennt. Wir sind darauf gespannt, die entsprechenden Softwarebemühungen der ESA und ihrer langfristigen Projekte zu unterstützen.“
Über Ada und SPARK
Ada ist eine moderne, international standardisierte Programmiersprache mit einer langen und erfolgreichen Erfolgsgeschichte in der Entwicklung von hochzuverlässigen Embedded-Systemen. Die starke Typisierung und und Compile-Time-Checks erkennen Fehler frühzeitig und ermöglichen eine rechtzeitige, kostengünstige Korrektur. Die neueste Version des Ada-Standards, Ada 2012, unterstützt die vertragsbasierte Programmierung (Pre- und Postconditions für Subprogramme) betten Low-Level-Anforderungen als überprüfbare Aussagen in den Quellcode als ein. In kritischen Systemen, in denen das Testen allein möglicherweise keine ausreichende Sicherheit bietet, unterstützt das SPARK-Subset von Ada die mathematischbasierte Sicherheit, dass die relevanten Programmeigenschaften erfüllt werden (zum Beispiel das Fehlen von Laufzeitfehlern wie ein Buffer Overflow). SPARK kann schrittweise in ein Projekt eingeführt werden, und Verträge können entweder statisch (durch die SPARK Proof-Engine) oder dynamisch (mit Run-Time Checks) überprüft werden.
