Campus Event Calendar
Event Entry
What and Who
Zero-Defect Software in Space: A True Mission
Prof. Joost-Pieter Katoen
RWTH Aachen
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 18 April 2013
16:00
60 Minutes
E1 3 - Hörsaal Gebäude
002
Saarbrücken
Abstract
The Ariane 5 Launcher and Mars Polar Lander were destroyed due to software defects. The European Space Agency ESA wants to ban such risks. Using software tools that trace bugs automatically. Advances in theoretical computer science are at the heart of these tools. We'll present recent experiences in applying such techniques to make satellites and launchers such as the Ariane 6 more reliable.
Contact
--email hidden
passcode not visible
logged in users only
Alexandra Klasen, 04/12/2013 11:55 -- Created document.