Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

RWTH Aachen überprüft Raumfahrt-System der ESA

07.02.2008
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 werden.

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.

... mehr zu:
»ESA »RWTH »Raumfahrt-System

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

Thomas von Salzen | idw
Weitere Informationen:
http://www.rwth-aachen.de

Weitere Berichte zu: ESA RWTH Raumfahrt-System

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Industrie 4.0: Fremde Eindringlinge im Unternehmensnetz erkennen
16.04.2018 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

nachricht Die Thermodynamik des Rechnens
11.04.2018 | Eidgenössische Technische Hochschule Zürich (ETH Zürich)

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Verbesserte Stabilität von Kunststoff-Leuchtdioden

Polymer-Leuchtdioden (PLEDs) sind attraktiv für den Einsatz in großflächigen Displays und Lichtpanelen, aber ihre begrenzte Stabilität verhindert die Kommerzialisierung. Wissenschaftler aus dem Max-Planck-Institut für Polymerforschung (MPIP) in Mainz haben jetzt die Ursachen der Instabilität aufgedeckt.

Bildschirme und Smartphones, die gerollt und hochgeklappt werden können, sind Anwendungen, die in Zukunft durch die Entwicklung von polymerbasierten...

Im Focus: Writing and deleting magnets with lasers

Study published in the journal ACS Applied Materials & Interfaces is the outcome of an international effort that included teams from Dresden and Berlin in Germany, and the US.

Scientists at the Helmholtz-Zentrum Dresden-Rossendorf (HZDR) together with colleagues from the Helmholtz-Zentrum Berlin (HZB) and the University of Virginia...

Im Focus: Gammastrahlungsblitze aus Plasmafäden

Neuartige hocheffiziente und brillante Quelle für Gammastrahlung: Anhand von Modellrechnungen haben Physiker des Heidelberger MPI für Kernphysik eine neue Methode für eine effiziente und brillante Gammastrahlungsquelle vorgeschlagen. Ein gigantischer Gammastrahlungsblitz wird hier durch die Wechselwirkung eines dichten ultra-relativistischen Elektronenstrahls mit einem dünnen leitenden Festkörper erzeugt. Die reichliche Produktion energetischer Gammastrahlen beruht auf der Aufspaltung des Elektronenstrahls in einzelne Filamente, während dieser den Festkörper durchquert. Die erreichbare Energie und Intensität der Gammastrahlung eröffnet neue und fundamentale Experimente in der Kernphysik.

Die typische Wellenlänge des Lichtes, die mit einem Objekt des Mikrokosmos wechselwirkt, ist umso kürzer, je kleiner dieses Objekt ist. Für Atome reicht dies...

Im Focus: Gamma-ray flashes from plasma filaments

Novel highly efficient and brilliant gamma-ray source: Based on model calculations, physicists of the Max PIanck Institute for Nuclear Physics in Heidelberg propose a novel method for an efficient high-brilliance gamma-ray source. A giant collimated gamma-ray pulse is generated from the interaction of a dense ultra-relativistic electron beam with a thin solid conductor. Energetic gamma-rays are copiously produced as the electron beam splits into filaments while propagating across the conductor. The resulting gamma-ray energy and flux enable novel experiments in nuclear and fundamental physics.

The typical wavelength of light interacting with an object of the microcosm scales with the size of this object. For atoms, this ranges from visible light to...

Im Focus: Wie schwingt ein Molekül, wenn es berührt wird?

Physiker aus Regensburg, Kanazawa und Kalmar untersuchen Einfluss eines äußeren Kraftfeldes

Physiker der Universität Regensburg (Deutschland), der Kanazawa University (Japan) und der Linnaeus University in Kalmar (Schweden) haben den Einfluss eines...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Internationale Konferenz zur Digitalisierung

19.04.2018 | Veranstaltungen

124. Internistenkongress in Mannheim: Internisten rücken Altersmedizin in den Fokus

19.04.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - Juni 2018

17.04.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Nachhaltige und innovative Lösungen

19.04.2018 | HANNOVER MESSE

Internationale Konferenz zur Digitalisierung

19.04.2018 | Veranstaltungsnachrichten

Auf dem Weg zur optischen Kernuhr

19.04.2018 | Physik Astronomie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics