#32: Graph Neuronale Netze für KRITIS | KI-gestützte Spezifikationsanalyse
Details
ONSITE EVENT
***
Graph Neuronale Netze für kritische Infrastruktur: Kontaminationsdetektion im Trinkwassernetz
Die Sicherung kritischer Infrastruktur erfordert robuste Modelle für komplexe, räumlich-zeitliche Netzwerkdaten. Der Vortrag bietet einen Überblick über verschiedene Architekturen von Graph Neuronalen Netzen (GNNs) zur indirekten Detektion und Lokalisierung von Kontaminationen im Trinkwassernetz. Dabei wird insbesondere die Robustheit der Methoden bezüglich Dauer, Geschwindigkeit und Ort eines Vorfalls beleuchtet. Ziel ist es aufzuzeigen, wie Machine Learning bei der Überwachung solcher komplexen Systeme wirkungsvoll unterstützen kann.
Katharina Besginow hat den Masterstudiengang "Intelligente Systeme" an der Universität Bielefeld absolviert. In ihrer Projekt- und Masterarbeit befasste sie sich schwerpunktmäßig mit der Modellierung von netzstrukturierten Daten und evaluierte dabei das Potenzial von GNNs für reale Anwendungsszenarien im Bereich der kritischen Infrastruktur.
--
Spec-Kitty: KI-gestützte Spezifikationsanalyse für moderne Softwareprojekte
Die effiziente Analyse und Validierung von Softwareanforderungen ist ein entscheidender Faktor für den Erfolg komplexer IT-Projekte. Der Vortrag stellt das Open-Source-Projekt „Spec-Kitty“ vor, das Large Language Models (LLMs) nutzt, um Spezifikationen aus heterogenen Quellen wie Markdown-Dateien oder API-Beschreibungen systematisch zu konsolidieren. Dabei liegt der Fokus auf der automatisierten Identifikation von Inkonsistenzen und der Überführung in maschinenlesbare Formate. Ziel ist es aufzuzeigen, wie KI-basierte Analysewerkzeuge Spezifikationslücken frühzeitig schließen und die Qualität von Requirements nachhaltig sichern können.
Robert Douglass ist der Initiator von Spec-Kitty. In seiner Arbeit konzentriert er sich auf die Schnittstelle zwischen Software Engineering und Künstlicher Intelligenz, wobei er insbesondere untersuchst, wie sich moderne Sprachmodelle durch gezieltes Prompt-Design und robuste Architekturen sinnvoll in bestehende Entwicklungs-Workflows integrieren lassen.
***
Dieses Event findet in Präsenz in der Bürgerwache am Siggi statt. Für Getränke steht eine Kasse bereit, es wird gebeten Kleingeld für einen Stebstkostenanteil mitzubringen.