Pressemitteilung

In der ausgezeichneten Arbeit stellt Sven Schewe mathematische Verfahren vor, mit denen die Sicherheit von elektronischen Helfern gewährleistet werden kann. Dazu zählen zum Beispiel die Antiblockiersysteme und Airbagsteuerungen im Auto, aber auch Geldautomaten oder Flugsicherungssysteme. Solche Systeme müssen unabhängig von ihrer Umgebung sicher arbeiten. Etwa muss der Airbag auch dann noch funktionieren, wenn man das Autoradio austauscht oder wenn plötzlich die Zentralverriegelung streikt. Die von Sven Schewe entwickelten Verfahren analysieren vor allem die Frage, ob ein System so angelegt ist, dass es immer sicher funktioniert. Sie helfen außerdem dem Programmierer dabei, die sicherheitskritischen Anforderungen korrekt umzusetzen.

Der junge Wissenschaftler erstellte die Dissertation als Mitarbeiter von Prof. Dr. Bernd Finkbeiner am Lehrstuhl für Reaktive Systeme der Universität des Saarlandes. Derzeit arbeitet Sven Schewe als Gastwissenschaftler an der Universität in Liverpool (Großbritannien). Der GI-Dissertationspreis wird am 30. September 2009 auf der Jahrestagung der Gesellschaft für Informatik in Lübeck verliehen.