Konsistenz von hybriden/kontinuierlichen Modellen (A04)

Fachliche Zuordnung Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Softwaretechnik und Programmiersprachen
Förderung Förderung seit 2023
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263
 

Projektbeschreibung

Eine wichtige Form der Konsistenz für hybride/kontinuierliche Modelle ist die Verhaltenskonsistenz, die sich auf die Dynamik des Systems bezieht: Sie bestimmt ihre operationelle Eignung. Verhaltenskonsistenz beinhaltet, ob zwei Modelle, ein Modell und eine Spezifikation sowie eine Implementierung und ein Modell ein konsistentes Verhalten aufweisen. Mit Hilfe von formaler Verifikation, Tests und Laufzeitverifikation untersuchen wir, wie sich Verhaltenskonsistenz qualifizieren und quantifizieren lässt und, ob und wann Abweichungen akzeptabel sind. Damit gehen wir über die klassische boolesche Korrektheit hinaus, um Konsistenzbereiche von hybriden/kontinuierlichen Komponenten zu bestimmen.
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; Professor Dr. Alexander Pretschner