Consistency of Hybrid / Continuous Models (A04)

• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics ; Software Engineering and Programming Languages
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263

An important form of consistency for hybrid/continuous models is behavioural consistency that concerns the dynamics of the system: this is what ultimately determines their operational suitability. Behavioural consistency includes if two models, a model and a specification, and an implementation and a model have consistent behaviours. Using formal verification, tests, and runtime verification, we study how to qualify and quantify behavioural consistency and thus go beyond classical Boolean correctness to determine ranges of consistency of hybrid/continuous components. We will also quantify behavioural consistency to determine if and when mismatches are acceptable.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1608: Consistency in the View-Based Development of Cyber-Physical Systems
• International Connection: USA
• Applicant Institution: Karlsruher Institut für Technologie
• Project Heads: Professor Dr.-Ing. Matthias Althoff; Professor Dr. André Platzer; Professor Dr. Alexander Pretschner