Informatiker um Professor Matthias Tichy, Leiter des Instituts für Programmiermethodik und Compilerbau der Uni Ulm, arbeiten an einem zuverlässigen "Qualitätscheck" für Software während der Entwicklung. Das Ziel: Die Schnelligkeit und Zuverlässigkeit technischer Systeme sollen gewährleistet und gefährliche Fehler vermieden werden. Ein Beispiel kommt aus der Fahrzeugentwicklung: Vor allem in den Bereichen Fahrerassistenzsysteme oder Sicherheit - hier wirken zahlreiche vernetzte Steuergeräte und Sensoren zusammen - kann der Ausfall einzelner technischer Systeme zu Gefahrensituationen führen. Deshalb muss genauestens analysiert werden, ob und wie Fehler von Komponenten und Kombinationen von Fehlern Unfälle verursachen können. Auch die kleinsten Änderungen am System sollten dabei berücksichtigt werden. Das Projekt ENSURE, das Tichy gemeinsam mit Prof. Lars Grunske (HU Berlin) durchführt, wird von der DFG mit insgesamt 600 000 Euro gefördert.

Weitere Informationen bei der Pressestelle der Uni Ulm