Panorama

Schlauer Weltraum-Roboter

16.12.2020 - 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 Raum­fahrt 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 Forschungs­zentrum 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 Forschungs­zentrum Informatik. VeriKI erforsche daher ein alternatives Zertifizierungs­konzept, 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 Software­bibliotheken 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 Forschungs­gruppe 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 zusammen­bauen 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 Bild­erkennungs­systeme. 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 Digital­kamera ist ein gutes Beispiel für solch eine Spin-Off-Technologie. Ziel des Forschungs­projekts 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
 

Weitere Infos

Die nächste Generation der effizienten Lösung für die Gasanalyse von Pfeiffer Vacuum

OmniStar und ThermoStar sind kompakte Benchtop-Analysegeräte für Probengase die unter Atmosphärendruck vorliegen. Sie sind die perfekte Komplettlösung zur Gasanalyse, insbesondere bei chemischen Prozessen, in der Halbleiterindustrie,

Metallurgie, Fermentation, Katalyse, Gefriertrocknung und bei der Umweltanalyse. Die Analysesysteme bestehen aus Einlasssystem, Massenspektrometer PrismaPro, trocken verdichtender Membranvakuumpumpe MVP und Turbopumpe HiPace.

 

Pfeiffer Video

Erfahren Sie mehr über Analysegeräte

Newsletter

Die Physik in Ihrer Mailbox – abonnieren Sie hier kostenlos den pro-physik.de Newsletter!

Erleben Sie unsere neue HiScroll – die ölfreien Vakuumpumpen von Pfeiffer Vacuum

Die HiScroll Serie besteht aus drei ölfreien und hermetisch dichten Scrollpumpen mit einem nominellen Saugvermögen von 6 – 20 m³/h. Die Pumpen zeichnen sich insbesondere durch ihre hohe Leistung beim Evakuieren gegen Atmosphäre aus. Ihre leistungsstarken IPM*-Synchronmotoren erzielen einen bis zu 15% höheren Wirkungsgrad in Vergleich zu konventionellen Antrieben.

*Interior Permanent-Magnet

Pfeiffer HiScroll Pumpen Video

Erfahren Sie mehr über die neue HiScroll Vakuumpumpe

Elektromagnetik-Modellierung mit COMSOL in 18 Minuten

In diesem 18-minütigen WebSeminar lernen Sie die Grundlagen der Analyse elektromagnetischer Felder in Niederfrequenzanwendungen mit der COMSOL Multiphysics®-Software.

Mehr Informationen zum Webinar

Virtuelle Jobbörse

Eine Kooperation von Wiley und der DPG

Da die erste virtuelle Jobbörse mit mehr als 1.500 Registrierungen und über 1.000 teilnehmenden Personen ein sehr großer Erfolg für Anbieter und Teilnehmende war, bieten die Deutsche Physikalische Gesellschaft (DPG) und der Verlag Wiley-VCH eine weitere virtuelle Jobbörse im Herbst an.

 

Mehr Informationen

Elektromagnetik-Modellierung mit COMSOL in 18 Minuten

In diesem 18-minütigen WebSeminar lernen Sie die Grundlagen der Analyse elektromagnetischer Felder in Niederfrequenzanwendungen mit der COMSOL Multiphysics®-Software.

Mehr Informationen zum Webinar

Virtuelle Jobbörse

Eine Kooperation von Wiley und der DPG

Da die erste virtuelle Jobbörse mit mehr als 1.500 Registrierungen und über 1.000 teilnehmenden Personen ein sehr großer Erfolg für Anbieter und Teilnehmende war, bieten die Deutsche Physikalische Gesellschaft (DPG) und der Verlag Wiley-VCH eine weitere virtuelle Jobbörse im Herbst an.

 

Mehr Informationen