Konsistenz von datendefinierten Modellen (A05)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263

Viele neue CPS enthalten Komponenten aus dem maschinellen Lernen, die oft schwer zu modellieren, zu verifizieren und vorherzusagen sind. Wir gehen dieses Problem an, indem wir Konsistenzprobleme zwischen dem spezifizierten Verhalten und dem tatsächlichen Verhalten zur Laufzeit lösen. Daher untersuchen wir, wie Spezifikationen formuliert werden können, die ein System der künstlichen Intelligenz (KI) einhalten muss, und wie ein Sicherheitsschild systematisch aufgebaut werden kann, um die Sicherheit zu jedem Zeitpunkt zu gewährleisten. Dieses Sicherheitsschild gewährleistet die Konsistenz von datendefinierten Modellen und erlaubt es, KI-System in ein V-SUM einzubinden.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Internationaler Bezug: USA
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiter: Professor Dr.-Ing. Matthias Althoff; Professor Dr. André Platzer