Aktuell beschäftigt sich meine Gruppe mit zwei größeren Themenbereichen die auf die eine odere andere Weise auf Reliable Software hinwirken: Tools für automatisierte Programmkorrektheitsbeweise und Domänenspezifische Datenanalyselösungen. Natürlich nutzen wir zur Lösung unserer Probleme dabei auch die modernen möglichkeiten von verteilten Systemen.

Programm Korrektheit

Unsere Arbeitsgruppe interessiert sich dafür, wie man Qualität in Software durch Testverfahren und (semi-)formale Methoden sicherstellen kann. Malte Mues ist einer der Hauptentwickler des Tools GDart für dynamisch symbolische Ausführung von Java Programmen. Aktuell arbeiten wir daran, wie man dynamische, tendenziell unterapproximierende Verfahren für die Softwareverifikation mit statischen, tendenziell überapproximierenden Verfahren zusammenbringen kann. Das Ziel ist dabei, Schwachstellen in Java Webanwendungen und anderen JVM basierten Programmen vollständig automatisiert zu finden.

Die Entwicklung von GDart hat 2022 an der TU Dortmund begonnen und wird seit 2025 auch an der Bergischen Universität Wuppertal fortgesetzt.

Einfacher Zugang zu Datenanalyse

Im Rahmen des QuARUm Projektes an der TU Dortmund ist GeoArmadillo entstanden. Wir arbeiten daran, wie man durch Kombination von Quellcodegeneratoren und geeigneten Bibliotheken Datenanalyse Pipeliens auch für nicht Informatiker einfach ermöglichen kann. Konkret gucken wir uns dazu aktuell Fallbeispiele aus der Geochemie an und arbeiten zusammen mit Geochemikern von der Constructor University an domänenspezifischen Datenanalyse Lösungen.

Dabei treibt uns zurzeit die Frage, wie man die gefunden Datenpipelines möglichst automatisch in der Laufzeit durch Parallelisierung optimieren kann und wie eine Bibliothek strukturiert sein muss, um draus by design korrekten Quellcode zu generieren, der das Domänenproblem auch semantisch korrekt erfüllt.