AI4SSE: ML and LLMs-Enhanced Software and Systems Engineering
Modernes Software- und System-Engineering steht aufgrund zunehmender Komplexität und langer Projektlebenszyklen vor Herausforderungen. Die Integration von KI bietet transformative Möglichkeiten zur Optimierung von Prozessen und zur Verwaltung von Daten. Unsere Forschungsgruppe „AI for Software and Systems Engineering“ konzentriert sich auf den Einsatz von maschinellem Lernen und Large Language Models (LLMs), um die Entwicklung eingebetteter Systeme und Software zu verbessern.
Um die Sicherheit und Zuverlässigkeit von eingebetteten sicherheitskritischen Systemen zu gewährleisten, sind innovative Ansätze erforderlich, um den Validierungsprozess umfassend und effizient durchzuführen. Unsere Forschung untersucht die Rolle von KI-Ansätzen bei der Optimierung traditioneller Testmethoden für Hardware-in-the-Loop (HIL)-Systeme. Konkret entwickeln wir ML- und DL-Modelle, um die Testaktivitäten während der Echtzeit-HIL-Validierung in Bezug auf die Generierung, Ausführung und Bewertung von Testfällen zu verbessern. Durch die Kombination innovativer KI-Lösungen mit HIL-Tests während des Entwicklungsprozesses zielt unsere Forschung darauf ab, die Sicherheit und Robustheit dieser Systeme unter Berücksichtigung der Anforderungen der ISO-Norm 26262 zu verbessern.
Unsere Forschung im Bereich Software-Engineering konzentriert sich auf die Anwendung von KI bei der Anforderungsanalyse und dem Architekturentwurf von Informationssystemen. Die Integration von KI-Sprachmodellen, d.h. LLMs, in die verschiedenen Phasen der Entwicklung softwareintensiver Systeme ist ein wachsender Forschungsbereich und bietet ein großes Potenzial zur Unterstützung der Entwickler bei ihren Aufgaben. Die Kombination von KI-Techniken und formalen Methoden schafft einen systematischeren und automatisierten Ansatz, der die Qualität, Effizienz und Effektivität der Softwareentwicklung deutlich verbessert. Ziel der Forschung in diesem Bereich ist die Entwicklung innovativer, praktischer und skalierbarer Lösungen, die den gesamten Softwareentwicklungsprozess verändern.
In unserer Forschungsgruppe werden die folgenden Forschungsfragen behandelt:
- Wie können KI-gesteuerte Methoden die Effizienz und den Umfang des Validierungsprozesses für eingebettete sicherheitsrelevante Systeme im Kontext der ISO 26262 verbessern?
- Wie verbessert die Kombination von KI-Sprachmodellen und formalen Methoden den Architekturentwurf von Informationssystemen im Hinblick auf Qualität, Effizienz und Skalierbarkeit?
Durch die Erforschung innovativer KI-Modelle und Strategien zur Verbesserung von Entwicklungsabläufen will unsere Gruppe den Weg für intelligentere, agilere Software- und Systementwicklungsmethoden ebnen.
