Schlauer Weltraum-Roboter
Roboter mit künstlicher Intelligenz sollen Satelliten im All zusammenbauen.
Ob im Smart Home, bei Sprachassistenten, in Navigationssystemen – künstliche Intelligenz (KI) ist längst Teil unseres Alltags. In der Raumfahrt wird sie dagegen kaum genutzt. Der Grund: Die Anforderungen an die Zuverlässigkeit und Sicherheit sind hier besonders hoch und KI erfüllt diese bislang nicht. Dabei ist das Potenzial riesig: Mit KI könnten etwa Roboter im Weltall Satelliten zusammenbauen – was deutlich kostengünstiger ist, als sie auf der Erde zu montieren. Das FZI Forschungszentrum Informatik möchte daher mit dem Projekt VeriKI gemeinsam mit der Universität Würzburg sowie BSSE System & Software Engineering künstliche Intelligenz auch für Weltraumanwendungen sicher nutzbar machen.
Robust und sicher müssen Anwendungen in der Raumfahrt sein. Um zu gewährleisten, dass das auf eine Software zutrifft, muss diese verifiziert, also ihre Richtigkeit bestätigt werden. Es gibt zwar bereits gängige Verfahren zur Verifizierung, für künstliche Intelligenz sind diese aber ungeeignet. „Das wäre viel zu teuer und zeitaufwändig“, erklärt Arne Rönnau, Abteilungsleiter am FZI Forschungszentrum Informatik. VeriKI erforsche daher ein alternatives Zertifizierungskonzept, welches anhand von zwei Anwendungsfällen getestet werde. „Wenn es uns gelingt, ein geeignetes Konzept zu entwickeln, lösen wir damit eine große Barriere für die Anwendung von KI in der Raumfahrt auf“, so Rönnau. Als technologische Grundlage für das Projekt wird das quelloffene Robot Operating System ROS 2 verwendet. Das Framework besteht aus einer Reihe von Softwarebibliotheken sowie Open-Source-Tools und deckt viele Funktionen ab, die für das Projekt VeriKI wichtig sind. „Genau wie KI hat sich ROS 2 auf der Erde bereits bewährt“, erklärt Rönnau. „Jetzt wollen wir das Potenzial auf den Weltraum übertragen.“
Beim Projekt VeriKI verantworten das FZI und die Universität Würzburg jeweils einen Anwendungsfall. Mit dem Anwendungsszenario, der in der Verantwortung des FZI liegt, möchte die Forschungsgruppe Roboter befähigen, im Weltraum Satelliten zu montieren. Einen großen, bereits zusammengebauten Satelliten ins Weltall zu transportieren, ist in der Regel äußerst aufwändig und kostspielig. Daher ist die Möglichkeit, ihn in Einzelteilen ins Weltall zu schicken und vor Ort von einem Roboter zusammenbauen zu lassen sehr attraktiv. Die Montage ist allerdings komplex: „Aufgrund der zeitverzögerten Kommunikation würde es sehr lange dauern, den Roboter von der Erde aus zu steuern. Das ist praktisch nicht umsetzbar“, so Rönnau. „Daher muss der Roboter den Satelliten selbstständig montieren und dazu mit künstlicher Intelligenz ausgestattet sein. Und wir möchten diese KI in unserem Anwendungsfall mit VeriKI verifizieren.“
Der Anwendungsfall, den die Universität Würzburg verantwortet, beschäftigt sich mit dem verifizierten Einsatz von künstlicher Intelligenz für Lageregler. Satelliten benötigen diese, um stabil und sicher auf der Umlaufbahn der Erde zu fliegen. Mithilfe kleiner Steuerdüsen können Lageregler die Position von Satelliten regulieren. Das Einstellen eines Lagereglers ist gewöhnlich sehr aufwändig, doch mithilfe von künstlicher Intelligenz soll der Aufwand reduziert werden. Künftig soll es möglich sein, dass sich der Lageregler intelligent im Weltraum selbst anpasst. „In dem Fall ist es besonders wichtig, dass die KI verifiziert ist und keine Fehler macht“, erklärt Rönnau. „Eine fehlerhafte Lageregelung kann nämlich dazu führen, dass der Satellit abstürzt. Das ist beispielsweise bei der NASA-Raumsonde Mars Polar Lander in den 1990er Jahren passiert.“
Das Konzept zur Verifizierung der eingesetzten KI wird hauptverantwortlich vom Unternehmen BSSE System & Software Engineering entwickelt. Hierbei gilt es zu identifizieren, welche Teile der Software nicht ohne Weiteres mit den bisherigen Methoden verifiziert werden können. Für diese Teile sollen neue Verfahren untersucht und, wenn notwendig, Absicherungen entwickelt werden. „Die Verifikation von Verfahren der künstlichen Intelligenz ist weltweit aktuelles Forschungsthema – jedoch derzeit fokussiert auf Bilderkennungssysteme. Im Vorhaben müssen wir also Ansätze finden, die für die Robotik und die Lageregelung geeignet sind,“ erklärt dazu Ralf Gerlich von BSSE. Das FZI und die Universität Würzburg unterstützen BSSE bei der Entwicklung des Konzepts.
In der Vergangenheit haben viele Entwicklungen aus der Luft- und Raumfahrt ihren Weg in die Industrie und sogar in unseren Alltag gefunden. Die Digitalkamera ist ein gutes Beispiel für solch eine Spin-Off-Technologie. Ziel des Forschungsprojekts VeriKI ist ein Spin-In, bei dem künstliche Intelligenz und ROS 2 als erfolgreiche Technologien den Weg von der Erde ins Weltall finden.
FZI / DE