Towards Consistent, Variability-Aware Views in Systems Development
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 SepDisplayed 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 22mTalk | 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 22mTalk | 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 22mTalk | Understanding Variability Evolution in Automotive Product Lines - Insights from Volkswagen Industry Track Richard von Esebeck , Yannick Lindebauer , Laura Berger , Thomas Thüm TU Braunschweig, Thomas Vietor | ||