Controlling Concurrent Change: Managing In-Field Change in Critical Embedded Systems

Recent trends in the automotive domain show a fast development towards automated driving functions with growing complexity that comes along with increasing computing power of automotive platforms. Due to the long lifetime of automobiles compared to the innovation cycles of functionalities, in future, new functionality will have to be added by software updates. However, performing such updates on a safety-critical system requires a methodologically safe approach. In this paper, we outline how this is tackled by the DFG research unit "Controlling Concurrent Change" that formalizes the integration part of a V-model like development process aiming at in-field integration.