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 Sicheres Bezahlen ohne Datenspur
17.10.2017 | Karlsruher Institut für Technologie

nachricht Saarbrücker Forscher erstellen digitale Objekte aus unvollständigen 3-D-Daten
12.10.2017 | Universität des Saarlandes

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Breaking: the first light from two neutron stars merging

Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.

Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....

Im Focus: Topologische Isolatoren: Neuer Phasenübergang entdeckt

Physiker des HZB haben an BESSY II Materialien untersucht, die zu den topologischen Isolatoren gehören. Dabei entdeckten sie einen neuen Phasenübergang zwischen zwei unterschiedlichen topologischen Phasen. Eine dieser Phasen ist ferroelektrisch: das bedeutet, dass sich im Material spontan eine elektrische Polarisation ausbildet, die sich durch ein äußeres elektrisches Feld umschalten lässt. Dieses Ergebnis könnte neue Anwendungen wie das Schalten zwischen unterschiedlichen Leitfähigkeiten ermöglichen.

Topologische Isolatoren zeichnen sich dadurch aus, dass sie an ihren Oberflächen Strom sehr gut leiten, während sie im Innern Isolatoren sind. Zu dieser neuen...

Im Focus: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

Im Focus: Smart sensors for efficient processes

Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).

When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...

Im Focus: Cold molecules on collision course

Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.

How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

DFG unterstützt Kongresse und Tagungen - Dezember 2017

17.10.2017 | Veranstaltungen

Intelligente Messmethoden für die Bauwerkssicherheit: Fachtagung „Messen im Bauwesen“ am 14.11.2017

17.10.2017 | Veranstaltungen

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Wie wirksam sind Haftvermittler? Fraunhofer nutzt Flüssigkeitschromatographie zur Charakterisierung

17.10.2017 | Materialwissenschaften

Mikroben hinterlassen "Fingerabdrücke" auf Mars-Gestein

17.10.2017 | Biowissenschaften Chemie

Vorhersagen bestätigt: Schwere Elemente bei Neutronensternverschmelzungen nachgewiesen

17.10.2017 | Physik Astronomie