Montag, Oktober 07, 2024

Die Informatikerin Maria Christakis, Professorin an der TU Wien, entwickelt Software, mit der man man andere Software auf Fehler überprüfen kann. Für ihre weitere Forschungsarbeit erhielt sie nun einen hochdotierten ERC-Grant.

Die Suche nach Fehlern in Software ist längst automatisiert: Es gibt Computerprogramme, die andere Computerprogramme auf Fehler überprüfen. Aber wer kontrolliert nun die Software-Kontrollprogramme? Mit dieser höchst Frage beschäftigt sich Maria Christakis, Professorin am Institut für Information Systems Engineering der TU Wien. Sie wurde nun vom European Research Council (ERC) mit einem ERC Starting-Grant ausgezeichnet – einer der prestigeträchtigsten und höchstdotierten Förderungen der europäischen Forschungslandschaft.

In besonders kritischen Bereichen – etwa bei der Steuerung eines Flugzeugs oder eines Kernkraftwerks – möchte man sich nicht damit begnügen, dass die Software bei bisherigen Tests keine Fehler gemacht hat. Man möchte einen Beweis dafür, dass die Software fehlerfrei ist und sich in jeder denkbaren Situation richtig verhält. Dafür verwendet man heute Programm-Analysetools, die auf Basis formaler Logik Computercode untersuchen. In bestimmten Fällen kann man dann mit mathematischer Präzision beweisen, dass ein bestimmter Code tatsächlich absolut fehlerfrei ist.

„Programm-Analysetools sind heute höchst komplex – die Wahrscheinlichkeit, dass sie selbst irgendwelche Fehler beinhalten, ist daher groß“, sagt Maria Christakis. Das kann zu falschen oder irreführenden Ergebnissen führen – etwa zur Diagnose, dass der untersuchte Code korrekt ist, obwohl er immer noch Fehler enthält. Die Fehlerlosigkeit eines solchen Analysetools mit herkömmlichen Methoden zu untersuchen, ist kaum möglich – die Tools sind so komplex, dass das viel zu lange dauern würde. Maria Christakis wählt daher eine andere Strategie: Anstatt die Fehlerlosigkeit der Programme mit mathematisch-logischer Präzision zu verifizieren, versucht die mehrfach preisgekrönte Wissenschafterin, auf automatisierte Weise passende Testsituationen für diese Programme generieren zu lassen.

„Diese automatisierte Erstellung von Tests kann Programmfehler sehr effektiv aufspüren“, erklärt Christakis. „Allerdings stecken die Methoden für diesen Einsatzzweck noch in den Kinderschuhen.“ Das soll sich aber ändern: Mit dem Projekt „MirandaTesting“, das nun durch den ERC-Grant finanziert wird, will Maria Christakis mit ihrem Team erstmals einen systematischen Zugang entwickeln, um ein breites Spektrum an Programm-Analysetools zu testen.​

(Titelbild: ViSP)

Meistgelesene BLOGS

Mario Buchinger
07. August 2024
Der Ruf nach Resilienz in den Lieferketten wird lauter. Nach den Erfahrungen einer weltweiten Pandemie und den immer deutlicheren Auswirkungen der Klimakrise scheint das sinnvoll. Doch was macht eine ...
Nicole Mayer
05. Juli 2024
Im Juni wurden am qualityaustria Excellence Day und der Verleihung Staatspreis Unternehmensqualität die Preisträger*innen 2024 verkündet. Die Sieger*innen im Überblick• Staatspreis Unternehmensqualitä...
Marlene Buchinger
09. August 2024
CSRD, ESRS, CBAM – Nachhaltigkeitsbegriffe schnell erklärt. Nachhaltigkeit wird immer mehr Teil der Führungsarbeit. Daher lohnt ein Blick auf die wichtigsten Begriffe. Wie in jeder Fachdisziplin gibt ...
Redaktion
10. Juli 2024
Ende April wurde das EU-Lieferkettengesetz verabschiedet. Dieses ambitionierte Gesetz verpflichtet Unternehmen mit mehr als 1000 Beschäftigten und einem Umsatz von über 450 Millionen Euro, Menschenrec...
Nicole Mayer
19. August 2024
Am qualityaustria Excellence Day im Juni wurde nicht nur das AMS Kärnten mit dem Staatspreis Unternehmensqualität 2024 ausgezeichnet, sondern auch drei weitere exzellente Unternehmen zum Staatspreis n...
Marlene Buchinger
07. August 2024
Was bedeutet Nachhaltigkeit und warum ist das Thema so wichtig? Der Begriff Nachhaltigkeit und die damit verbundenen Veränderungen werfen bei vielen Führungskräften noch Fragen auf. Aus diesem Grund e...
Alfons A. Flatscher
01. Juli 2024
Willkommen im 21. Jahrhundert, wo Homeoffice und Co die Arbeitswelt revolutionieren. Was einst als Extra galt, ist durch die Pandemie zur Norm geworden. Der Küchentisch wird zum Schreibtisch, die Jogg...
Marlene Buchinger
07. August 2024
Schulungsangebote und ESG-Tools schießen wie Pilze aus dem Boden. Doch anstelle das Rad neu zu erfinden, sollten bestehende Strukturen neu gedacht werden. Die Anforderungen an Unternehmen punkto Verbe...

Log in or Sign up