Sie sind hier: HomeSpezialInternet

Millionenschwerer EU-Forschungspreis für System der automatischen Programmierung





Saar-Uni baut Software-Automaten
Millionenschwerer EU-Forschungspreis für System der automatischen Programmierung

23. Dezember 2015, 02:00 Uhr
Klicken Sie auf das Bild, um eine größere Ansicht zu erhalten.

Professor Bernd Finkbeiner entwickelt an der Saar-Uni Computerprogramme, die Computerprogramme schreiben. Foto: Serra Foto: Serra
Informatiker der Saar-Uni um Professor Bernd Finkbeiner entwickeln Computerprogramme, die Computer programmieren. Für dieses Projekt erhielt der Forscher jetzt einen millionenschweren EU-Forschungspreis.
Saarbrücken. Vor fünf Jahrzehnten, bei der Einführung des Computers in der Berufswelt, galt die Tatsache, dass eine Berechnung von einem Gerät der elektronischen Datenverarbeitung stammt, noch als Beweis ihrer Korrektheit. Mit Bemerkungen wie „Das muss stimmen, das stammt vom Computer“ wurden Zweifler abgebügelt. Heute wissen wir's besser. Computer machen Fehler – mitunter sogar kolossale. Denn Programme, die elektronische Schaltkreise steuern, stammen von Menschenhand. Und Menschen können irren. Wäre es da nicht eine gute Idee, Computer von Computern programmieren zu lassen?

Um dieses Thema machten die Informatiker lange Zeit einen großen Bogen. Das hatte weniger mit der Furcht zu tun, der Computer, den sie heute programmieren, könnte sie morgen wegrationalisieren, als mit den Fallstricken der Logik, in denen man sich dabei verheddern kann. Erst seit knapp einem Jahrzehnt testen Informatiker weltweit Systeme der automatischen Programmierung bei eng umrissenen Aufgabenstellungen, so Finkbeiner.

Die Erfolge waren bisher, vorsichtig formuliert, mäßig. Computerprogramme, die heute von Computerprogrammen erzeugt werden können, gelten zwar im mathematischen Sinne als garantiert fehlerfrei, aber oft auch als unbrauchbar. Denn für die Lösung einer Programmieraufgabe für Anfänger, die ein Student in fünf Zeilen Code erledigt, braucht die Maschine das Hundertfache. Und bei schwierigeren Aufgaben versagt sie oft komplett.

Dieses Leistungsdefizit des Kollegen Computer zu mindern, hat sich der Saarbrücker Informatik-Professor Bernd Finkbeiner vorgenommen. Für die Entwicklung neuer Techniken der automatischen Programmierung erhält der Computerforscher der Saar-Uni nun einen mit zwei Millionen Euro dotierten Forschungspreis der Europäischen Union (ERC Consolidator Grant).

Zu den Projekten, die der Saarbrücker Informatiker untersucht, gehören Steuerungen kompletter Fertigungsstraßen in großen Industrieanlagen und sogenannte Reaktive Systeme. Bei solchen Programmen, die Flugzeuge, Züge und eines Tages auch das autonome Autos steuern sollen, kann eine Null-Fehler-Garantie lebenswichtig sein, wie kurz nach der Jahrtausendwende zum Beispiel ein Rechtsstreit in den USA um die Gaspedalsteuerung von Autos des japanischen Herstellers Toyota zeigte. Unter Informatikern gelte es mittlerweile als ausgemacht, dass strukturelle Fehler in der Kfz-Software bei einer Unfallserie eine Rolle spielten, bei der damals in mehreren Fällen Autos ohne Zutun des Fahrers plötzlich beschleunigten, so Bernd Finkbeiner.

Die Saarbrücker Computerforscher beschäftigen sich allerdings nicht mit Softwaresteuerungen einzelner Autos, sondern mit Programmen, die künftig das ungleich kompliziertere Miteinander vieler autonom fahrender Fahrzeuge auf unseren Straßen steuern sollen. „Wir brauchen dafür nicht nur Software mit Sicherheitsgarantien“, so Finkbeiner, „sondern auch Verfahren, mit denen man sie effizient entwickeln kann.“

Die Software-Automaten, die Saarbrücker Computerspezialisten nun entwickeln, sollen menschliche Programmierer nicht überflüssig machen, sondern bei nervenden Standardaufgaben entlasten, erläutert der Informatiker. Der Mensch gebe solchen Systemen der Programmsynthese nur noch allgemeine Ziele in einer speziellen Programmiersprache vor. Am Computer sei es dann, die Aufgaben zu analysieren und in den tatsächlichen Programmcode zu übersetzen – oder auch nicht. Denn der digitale Programmierer, den die Forscher der Universität des Saarlands entwickeln, soll zwar garantiert fehlerfreie Ergebnisse liefern, so Bernd Finkbeiner – aber garantieren werde er Ergebnisse nicht. Konfrontiert der menschliche Programm-Partner seinen digitalen Assistenten mit einem Problem, das dieser nicht oder nicht mit vertretbarem Aufwand bewältigen kann, gebe er als Output keinen Maschinencode aus, sondern die lapidare Antwort: „Für diese Aufgabe gibt es keine Lösung.“



Saarbrücken

Künstliche Intelligenz fürs Auto von morgen

Autonomes Auto? Ja, klar doch. Das ist Sache der Roboter-Spezialisten im Silicon Valley. Daran schrauben Teslas Ingenieure und Google-Programmierer, und das iMobil von Apple ist wahrscheinlich ... Mehr
Saarbrücken

Saarland, Software, Sicherheit

In der digitalen Welt hat jeder Mensch, ob er will oder nicht, ein zweites Ich. Es „lebt“ in den Computernetzwerken, in denen Daten über uns gespeichert sind. Mehr
Saarbrücken

Die fliegende Spardose

Holger Hermanns schaut auf die interaktive Karte seines Laptops und lächelt. „Da ist er“, sagt der Informatik-Professor der Saar-Universität. Mehr



Teilen und diskutieren

Kommentieren Sie diesen Beitrag über Facebook, Twitter oder Google+:

FACEBOOK
GOOGLE+
TWITTER



Anzeige
Neu für Vereine:
SaarZeitung

Termin melden

Text schicken


ANZEIGE
Beilagen






Anzeige