guest ::
SFB 1608 A04
Konsistenz von hybriden/kontinuierlichen Modellen (A04)
| Coordinator | Professor Dr.-Ing. Matthias Althoff ; Professor Dr. André Platzer ; Professor Dr. Alexander Pretschner |
| Grant period | 2023 - |
| Funding body | Deutsche Forschungsgemeinschaft |
| DFG | |
| Identifier | G:(GEPRIS)525545419 |
⇧ SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme ⇧
Note: 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.
Recent Publications
There are no publications
Record created 2023-08-08, last modified 2024-04-27