Fehler in Computerprogrammen ausschließen

Im Auto, im Flugzeug, in der Medizintechnik oder in der Infrastruktur des Internets – überall ist Software enthalten. Versagt die Software, zum Beispiel in der Steuerung elektronischer Assistenzsysteme in Autos, können hohe ökonomische Schäden für Hersteller oder lebensbedrohliche Situationen für Anwenderinnen und Anwender entstehen. In dem internationalen Wettbewerb für Software Verifikation (SV-COMP 2016) messen sich Entwicklerinnen und Entwickler von automatischen Werkzeugen zur Analyse von Software, mit deren Hilfe Fehler entdeckt oder ausgeschlossen werden können. Mit dem Beitrag „Ultimate Automizer“ hat ein Team um Dr. Matthias Heizmann und Daniel Dietsch vom Institut für Informatik der Universität Freiburg den Wettbewerb gewonnen.

35 Teams aus 14 Ländern reichten bei dieser inoffiziellen Weltmeisterschaft ein Werkzeug zur Analyse von Computerprogrammen ein. Diese Werkzeuge wurden auf jedes einzelne von mehreren Tausend Programmen angewendet, um jeweils herauszufinden, ob es einen Fehler enthält oder nicht. Fehlentscheidungen wurden mit hohem Punktabzug bestraft. Die Lösung des Freiburger Teams basiert auf einem Ansatz, der seit 2009 in der Arbeitsgruppe Softwaretechnik von Prof. Dr. Andreas Podelski entwickelt wird. Mehr als 40 Bachelor-, Master- und Doktorarbeiten sind in die Forschung eingeflossen. „Kooperationspartner aus der Automobilbranche setzen unser Werkzeug bereits ein, aber Programmverifikation bleibt auch ein wichtiger Teil der Grundlagenforschung“, berichtet Podelski.
 
Der Preis wird am 6. April 2016 in Eindhoven/Niederlande bei der 22. TACAS-Konferenz übergeben.


Kontakt:
Dr. Matthias Heizmann
Softwaretechnik
Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8235
E-Mail: heizmann@informatik.uni-freiburg.de

Natascha Thoma-Widmann
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: thoma-widmann@tf.uni-freiburg.de


Druckversion der Pressemitteilung (pdf).