Project Overview

Research Area A: Formalizing Consistency
Project Title Research Area Project Leaders
A01 Formalizing and Relating Different Notions of Consistency Software Engineering
Formal Methods
Software Engineering
Aßmann (TUD)
Beckert (KIT)
Reussner (KIT)
A02 Complexity of Consistency Software Engineering
Software Engineering
Formal Methods
Atkinson (UMA)
Burger (KIT)
Ulbrich (KIT)
A03 Consistency Under Uncertainty Database Systems
Software Engineering
Acosta (TUM)
Koziolek (KIT)
A04 Consistency of Hybrid/Continuous Models Cyber-Physical Systems
Cyber-Physical Systems
Software Engineering
Althoff (TUM)
Platzer (KIT)
Pretschner (TUM)
A05 Consistency of Data-Defined Models Cyber-Physical Systems
Cyber-Physical Systems
Althoff (TUM)
Platzer (KIT)
A06 Dynamic Consistency Management for Autonomous Traffic Agents

Cyber-Physical Systems
Software Engineering

Schwammberger (KIT)

 

Research Area B: Achieving Consistency
Project Title Research Area Project Leaders
B01 Cross-Organizational Design of View Types and V-SUM Meta-Models Software Engineering
Software Engineering
Atkinson (UMA)
Pretschner (TUM)
B02 Concurrent Editing and Transactionality Database Systems
Software Engineering
Acosta (TUM)
Reussner (KIT)
B03 Recovery from Temporary Inconsistency Software Engineering
Formal Methods
Koziolek (KIT)
Ulbrich (KIT)
B04 Maintaining Consistency Between Variants and Versions Software Engineering
Software Engineering
Software Engineering
Aßmann (TUD)
Burger (KIT)
Schaefer (KIT)

 

Research Area C: Engineering with Consistency
Project Title Research Area Project Leaders
C01 Engineering Consistent CPS Generations Product Development
Software Engineering
Albers (KIT)
Schaefer (KIT)
C02 Consistency-Aware Testing of CPS Variants and Versions Product Development
Systems Engineering
Software Engineering
Albers (KIT)
Sax (KIT)
Schaefer (KIT)
C03 Consistency-Enabled Incremental Quality Analysis of CPS Formal Methods
Software Engineering
Systems Engineering
Beckert (KIT)
Reussner (KIT)
Sax (KIT)
C04 Processes for Consistent CPS Engineering Product Development
Software Engineering
Albers (KIT)
Koziolek (KIT)