CISPA - Helmholtz-Zentrum für Informationssicherheit
CISPA-Forscher Andreas Zeller erhält ERC Proof of Concept Grant für Projekt zur KI-gestützten Softwarewartung
- Bild-Infos
- Download
CISPA-Forscher Andreas Zeller erhält ERC Proof of Concept Grant für Projekt zur KI-gestützten Softwarewartung
Der Informatiker und CISPA-Faculty Prof. Dr. Andreas Zeller erhält einen ERC Proof of Concept Grant des Europäischen Forschungsrats (ERC). Die Förderung in Höhe von 150.000 Euro ermöglicht es ihm, die Ergebnisse seines ERC Advanced Grants „S3 – Semantics of Software Systems“ in die Praxis zu überführen. Für S3 entwickelt Zeller einen intelligenten Software-Agenten, der komplexe Wartungsfragen automatisiert und mit hoher Genauigkeit beantworten kann. Das Projekt verspricht deutliche Effizienzgewinne und erhebliche Kosteneinsparungen in der Softwareentwicklung.
Während KI-gestützte Coding-Assistenten wie GitHub Copilot bereits bei der Code-Erstellung unterstützen, bleibt ein zentrales Problem ungelöst: Rund die Hälfte des Aufwands in der Softwareentwicklung entfällt auf das Verstehen und Warten bestehender Systeme – ein Bereich, in dem gängige KI-Modelle bislang versagen. „Wartung erfordert ein tiefes Verständnis des dynamischen Verhaltens von Software – und genau hier setzen wir an“, erklärt Zeller.
Im Rahmen seines ERC Advanced Grants, der noch bis 2028 läuft, haben Zeller und sein Team innovative Testverfahren entwickelt, mit denen sich das Verhalten von Programmen systematisch erkunden lässt. Hiermit trainieren sie programmspezifische Machine-Learning-Modelle, die Fragen beantworten können wie: ‚Welche Eingabe löst diese Fehlermeldung aus? oder Welche Konfiguration führt dazu, dass ein bestimmter Button erscheint?‘ „Unsere Modelle haben das gesamte Verhalten eines Programms im Blick – im Gegensatz zu einem Large Language Model wie ChatGPT, das Programmcode nur isoliert betrachten kann“, so Zeller.
Virtuelle Expertin für reale Systeme
Das mit dem Proof of Concept Grant geförderte Projekt verfolgt nun das Ziel, diesen Ansatz auf komplexe, reale Softwaresysteme zu übertragen. „Unsere bisherigen Forschungsarbeiten belegen die prinzipielle Machbarkeit dieses Ansatzes, waren jedoch auf kleine Beispiele beschränkt“, so Zeller. „Die zentrale Frage ist nun, ob sich diese Ansätze auch auf die Vielzahl von Funktionen skalieren lassen, die bei der Ausführung eines komplexen Programms auftreten.“ Geplant ist die Entwicklung eines Demonstrators: ein KI-Agent, der auf Basis eines umfangreichen Softwareprojekts trainiert wird und anschließend als virtuelle Expertin für das Verhalten dieser Software fungiert – über deren gesamten Lebenszyklus hinweg. „Das Training eines solchen KI-Agenten wird sehr viel Rechenzeit brauchen, ist aber immer noch weit günstiger als ein Mensch, der sich mühsam in ein Programm einarbeiten muss“, meint Zeller.
Proof of Concept: Von der Grundlagenforschung in die Praxis
Die ERC-Förderlinie Proof of Concept richtet sich ausschließlich an Forschende, die bereits einen ERC-Grant erhalten haben. Sie dient nicht der Weiterführung der Grundlagenforschung, sondern fördert Vorhaben, die das gesellschaftliche oder kommerzielle Potenzial wissenschaftlicher Erkenntnisse ausloten. Im Fall von Zeller steht das Ziel im Vordergrund, KI-basierte Werkzeuge für die Softwarewartung zu entwickeln, die langfristig den Alltag von Entwickler:innen erleichtern und Unternehmen weltweit Kosten sparen könnten. Dem international renommierten Experten für die automatisierte Softwareanalyse gelingt mit dem Proof of Concept Grant ein wichtiger Schritt in Richtung Anwendung.
Projekt gefördert vom ERC im Rahmen von Horizont Europa
Zur Person
Andreas Zeller ist CISPA-Faculty und Professor für Softwaretechnik an der Universität des Saarlandes. Seine Forschungsschwerpunkte liegen in der Entwicklung und Analyse komplexer Softwaresysteme. Seine Arbeiten wirken weit ins tägliche Leben hinein. So sind die in Zellers Forschungsgruppe entwickelten Techniken rund um die Uhr im Einsatz, um Web-Browser wie Chrome, Edge, oder Firefox abzusichern oder seltsame Android-Apps frühzeitig zu identifizieren. Zeller ist ein ACM Fellow und Mitglied in der Academia Europaea. Neben zwei ERC Advanced Grants hat er zahlreiche weitere Auszeichnungen erhalten, darunter einen ACM SIGSOFT Outstanding Research Award und einen ACM SIGSOFT Influential Educator Award.
Über den ERC
Der European Research Council (ERC) wurde 2007 von der Europäischen Union gegründet und ist die führende europäische Förderorganisation für exzellente Pionierforschung. Er unterstützt kreative Forschende aller Nationalitäten und Altersgruppen bei der Durchführung von Projekten in ganz Europa. Der ERC bietet vier zentrale Förderlinien an: Starting Grants, Consolidator Grants, Advanced Grants und Synergy Grants. Mit der zusätzlichen Förderlinie Proof of Concept hilft der ERC seinen Geförderten, die Lücke zwischen bahnbrechender Forschung und einer möglichen Kommerzialisierung zu überbrücken. Der ERC wird von einem unabhängigen Leitungsgremium, dem Scientific Council, geführt. Seit November 2021 ist Maria Leptin Präsidentin des ERC. Das Gesamtbudget des ERC für den Zeitraum von 2021 bis 2027 beträgt mehr als 16 Milliarden Euro und ist Teil des EU-Forschungsprogramms Horizont Europa unter der Verantwortung der Europäischen Kommissarin für Start-ups, Forschung und Innovation, Ekaterina Zaharieva.
Über das CISPA
Das CISPA Helmholtz-Zentrum für Informationssicherheit ist eine nationale Großforschungseinrichtung innerhalb der Helmholtz-Gemeinschaft. Es erforscht die Informationssicherheit in all ihren Facetten, um die drängenden, großen Herausforderungen der Cybersicherheit und vertrauenswürdigen künstlichen Intelligenz umfassend und ganzheitlich anzugehen, mit denen unsere Gesellschaft im Zeitalter der Digitalisierung konfrontiert wird. Das CISPA hat eine weltweite Führungsposition im Bereich der Cybersicherheit inne, indem es hochmoderne, oft disruptive Grundlagenforschung mit innovativer anwendungsorientierter Forschung, entsprechendem Technologietransfer und gesellschaftlichem Diskurs kombiniert. Thematisch zielt es darauf ab, das gesamte Spektrum von Theorie bis zu empirischer Forschung abzudecken. Es wird international weithin als Kaderschmiede für die nächste Generation an Cybersicherheitsexpertinnen und -experten und wissenschaftlichen Führungskräften in diesem Bereich angesehen.
Sebastian Klöckner | Unternehmenskommunikation CISPA Helmholtz-Zentrum für Informationssicherheit Stuhlsatzenhaus 5, 66123 Saarbrücken, Deutschland e press@cispa.de | w www.cispa.de