Konsistenz von hybriden/kontinuierlichen Modellen (A04)

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