idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
07.02.2008 15:32

RWTH Aachen überprüft Raumfahrt-System der ESA

Thomas von Salzen Pressestelle
Rheinisch-Westfälische Technische Hochschule Aachen

    Die folgenschweren Defekte in der Kontrollsoftware von Ariane-5 und Mars Pathfinder sorgten weltweit für Schlagzeilen. In Zukunft sollen solche Fehler schon in einer frühen Entwurfsphase gefunden. Die Europäische Weltraumbehörde (ESA) plant die Entwicklung von Techniken und Software-Tools, die Design-Ingenieuren dabei helfen, Bugs vollautomatisch aufzuspüren. Seit Anfang Februar dieses Jahres leitet der Lehrstuhl für Softwaremodellierung und Verifikation der Fachgruppe Informatik an der RWTH Aachen ein neues und anspruchsvolles ESA-Projekt in diesem Bereich.

    Ziel ist die Entwicklung von Techniken zur Überprüfung von Fehlerfreiheit und Leistungsfähigkeit der Soft- und Hardware von Raumfahrzeugen. Dadurch soll die Zuverlässigkeit aktueller und zukünftiger Raumfahrten erheblich verbessert werden.
    In Zusammenarbeit mit der Fondazione Bruno Kessler aus dem italienischen Trient wird die Gruppe unter Leitung von Prof. Dr. Ir. Joost-Pieter Katoen neue Software-Tools entwickeln, die beispielsweise das Risiko eines Deadlocks (einer Situation, in der die Software blockiert wird) und die Zuverlässigkeits-Wahrscheinlichkeit einer Mission beurteilt (wie wahrscheinlich ist es, dass eine Mission erfolgreich durchgeführt werden kann). In Kooperation mit dem französischen Unternehmen Thales Alenia Space aus Cannes werden diese fortschrittlichen Techniken und Tools auf moderne Raumfahrt-Systeme angewendet werden.
    Das Projekt ist auf zwei Jahre angelegt und mit einem Budget in Höhe von 500.000 EUR ausgestattet. Es wird durch die RWTH Aachen koordiniert.
    Für weitere Informationen steht die Projektleitung gerne zur Verfügung.
    Prof. Dr. Ir. Joost-Pieter Katoen
    Telefon: 0241 8021200
    katoen@cs.rwth-aachen.deP
    PD Dr. Thomas Noll
    Telefon: 0241 8021213
    noll@cs.rwth-aachen.de


    Bilder

    Merkmale dieser Pressemitteilung:
    Informationstechnik, Maschinenbau
    überregional
    Forschungs- / Wissenstransfer, Forschungsprojekte
    Deutsch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).

    Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).