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 |
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) |