Carl Philipp Hohl

TL;DR: This work proposes an approach to select representative variants based on feature models and device configuration identifiers and explains how it is possible to use the introduced variant management to reduce the verification and validation effort for safety-critical software releases.

TL;DR: The presented hybrid characteristics model combines different variant management concepts such as the feature- oriented domain analysis (FODA) and orthogonal variability modeling and allows the model-based expression of variants for all perspectives within concept and development of E/E systems, reaching from functional aspects of the system to generic product characteristics.

TL;DR: An approach is introduced, including a process and a methodology, for continuous contract-based design, validation and deployment of modular updates for variant-rich automotive systems and shows how the updates development and management may be achieved in an efficient and agile way.

TL;DR: In this article, the authors describe the challenges addressed by the three-year German national collaborative research project Step-Up!CPS that is currently in its third year, and highlight the points along the update process that are necessary for a secure update and show how they counteract them in a contractually secured update process.

TL;DR: A contract-based verification framework is presented that includes automatable and formally analyzable behavioral descriptors in form of assumption-guarantee contracts for all phases of the software lifecycle to provide static and dynamic verification capabilities alongside a dynamically changing system composition.