Warum ein Computer Fehler macht und wie man sie vermeidet

Warum ein Computer Fehler macht und wie man sie vermeidet

Computer sind heutzutage aus unserem Alltag nicht mehr wegzudenken - ob wir auf Facebook surfen, YouTube-Videos ansehen, Bankgeschäfte erledigen oder verreisen.

Flugzeuge verwenden Software, die Piloten unterstützt und im Ernstfall sicher stellt, dass schwere Schäden verhindert werden. Selbst in Autos wird immer intelligentere Software eingesetzt, die große Teile des Fahrens übernimmt und so in der Zukunft autonomes Fahren ermöglichen soll.

Durch diese immer größer werdende Abhängigkeit von Computern und deren Software wächst jedoch auch die Bedrohung durch Softwarefehler:
- Wie stelle ich sicher, dass ein autonomes Auto nicht plötzlich abbremst?
- Wie garantiert man, dass das Flugzeug, mit dem ich fliege, nicht abstürzt?

Verifizierung ist ein Teilgebiet der Informatik, dass sich mit genau diesen Fragestellungen beschäftigt. Ziel von Verifizierung ist es, zum einen zu überprüfen, ob bestimmte Fehler im Computer nicht auftreten können, und zum anderen möglichst viele Fehler frühzeitig zu entdecken. In dieser zweiteiligen Vortragsreihe erhalten Sie einen Überblick, wo Verifizierung im Alltag relevant ist und welche Techniken und Ziele der Verifizierung von Computerprogrammen es gibt.

Termin:

Mo, 11.11.2019, 10-12 Uhr

Mo, 18.11.2019, 10-12 Uhr

Dozent: Heiko Becker

Ort: Campus E1 5, Raum 005

LSF-Nr.: 120887

Anmeldung

Hier gelangen Sie zur Anmeldung für den Kurs.

Wir arbeiten zusammen mit der Stabsstelle für Personalentwicklung der UdS.