10 Millionen Euro für die Sicherheit

Nach erneuter erfolgreicher Begutachtung durch die Deutsche Forschungsgemeinschaft (DFG) wird der vor acht Jahren ins Leben gerufene transregionale Sonderforschungsbereich (SFB/TR 14) „Automatic Verification and Analysis of Complex Systems“ (AVACS) für weitere vier Jahre gefördert. Dafür stellt die DFG Mittel in Höhe von 10 Millionen Euro bereit.

Seit Januar 2004 arbeiten die Wissenschaftlerinnen und Wissenschaftler von AVACS daran, Techniken zur mathematisch exakten Verifikation und zur Analyse von sicherheitskritischen eingebetteten Systemen, wie etwa im Transportwesen bei Auto, Eisenbahn und Flugzeug, zu entwickeln. „Fehler in solchen sicherheitskritischen Systemen können Leben gefährden. Daher ist ihre Kontrolle, besser noch ihre Vermeidung besonders wichtig“, sagt Prof. Dr. Bernd Becker, stellvertretender Sprecher des Sonderforschungsbereichs und Inhaber des Lehrstuhls für Rechnerarchitektur am Institut für Informatik der Universität Freiburg.

Der Sonderforschungsbereich wird gemeinsam von den Universitäten Freiburg, Oldenburg und Saarbrücken sowie dem Max-Planck-Institut für Informatik in Saarbrücken getragen. Partner der Forschungsarbeiten ist außerdem die Akademie der Wissenschaften der Tschechischen Republik. Auf Freiburger Seite sind neben Becker die Informatiker Prof. Dr. Christoph Scholl (Betriebssysteme), Prof. Dr. Bernd Nebel (Künstliche Intelligenz) und Prof. Dr. Andreas Podelski (Softwaretechnik) beteiligt.

„Neben fachlich ausgezeichneten Ergebnissen ist insbesondere die Zusammenarbeit der Experten unterschiedlicher Teildisziplinen ausschlaggebend für den Erfolg von AVACS“, sagt Prof. Dr. Werner Damm, Sprecher des Sonderforschungsbereichs und Professor für Sicherheitskritische eingebettete Systeme an der Universität Oldenburg.

Kontakt:
Prof. Dr. Bernd Becker
Lehrstuhl für Rechnerarchitektur
Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8141
E-Mail: becker@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