VARIABILITY 2026
Tue 29 September - Fri 2 October 2026

Many Cyber-Physical Systems (CPSs) nowadays are highly adaptive systems that consist of many variable components. Experts from different domains (e.g., mechanical, electrical/electronic, and software engineering) use heterogeneous modelling languages to describe the system, leading to overlapping system information and inconsistencies between different development artifacts when evolved over time. Product Line (PL) development techniques can be used to model variability, and view-based modelling helps in managing heterogeneity and making consistency relations explicit. Managing variability and heterogeneity at the same time leads, however, to an increased potential for inconsistencies, which can be attributed to the co-evolution of problem- and solution-space, as well as the co-evolution of variants and the PL. In this paper, we present an initial approach and a vision for extending the view-based Vitruvius approach to achieve consistent-variability modelling. We describe how variability-aware View Types and Consistency Preservation Rules (CPRs) address inconsistencies between the Variability Model (VM) and solution space artefacts of different domains. For that, we are extending NeoJoin, the declarative view definition language developed for view-based model-driven software development, to support transformation-time configuration and the Reactions language with variability information to enable product- and platform-oriented development.

Wed 30 Sep

Displayed time zone: Athens change

16:00 - 17:06
Variability in Industrial and Cyber-Physical SystemsJournal First / Project Showcase / Social and Networking Events / Industry Track / Research Papers at PANORAMA
Chair(s): Martin Becker Fraunhofer IESE
16:00
22m
Talk
Is it Satisfiable? SMT-Based Consistency Checking in Variability-Intensive Cyber-Physical Production Systems
Research Papers
Malte Grave CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Fabio Baraldi , Lisa Sonnleithner CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Rick Rabiser LIT CPS, Johannes Kepler University Linz
16:22
22m
Talk
Towards Consistent, Variability-Aware Views in Systems Development
Research Papers
Fabian Eger Karlsruhe Institute of Technology, Lars König Karlsruhe Institute of Technology (KIT), Thomas Weber Karlsruhe Institute of Technology (KIT), Dirk Neumann Karlsruhe KIT, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
16:44
22m
Talk
Understanding Variability Evolution in Automotive Product Lines - Insights from Volkswagen
Industry Track