Project B04: Maintaining Consistency between Variants and Versions

This project develops a variability-aware V-SUM (Var‑V‑SUM) for CPS that uniformly captures and manages variability in space (variants) and time (versions) across many coupled models and engineering domains. Current V-SUM approaches ignore variability, causing inconsistencies between separate variability models and system models. The project’s research questions target, for instance, modelling variability in the V-SUM meta‑model via delta modeling (delta modules, higher‑order deltas) and variation control systems (feature revisions), specifying and preserving consistency across variants and versions using variability‑aware consistency specifications and synthesis over higher‑order delta sequences, and more. A brake system scenario evaluates feasibility and expressiveness, enabling co‑evolution guidance, cross‑variant consistency checks, and comparative views over variants and time.