Safe Dynamic Reconfiguration of Concurrent Component-based Applications

Salman Farhat (1) , Simon Bliudze (1) , Laurence Duchien (1)

1 SPIRALS - Self-adaptation for distributed services and large software systems

Cloud computing and cyber-physical systems involve software capable of adapting at run time to remain compliant with user demands and environmental constraints. This calls for extending the life cycle of software systems with a reconfiguration step to go beyond analysis, design, development and deployment. Existing approaches compute a new valid configuration at design time, at run time, or both, inducing computational or validation overheads for each reconfiguration step. We propose an approach that relies on variability models to acquire a representation of the set of valid configurations of a system. We use feature models to automatically generate a JavaBIP run-time variability model. The generated model monitors and controls the application behaviour by intercepting reconfiguration requests and executing them in such a manner as to ensure that all reachable configurations are valid without the need of pre-computing the possible configurations neither at design time nor at run-time while only inducing a minimal run-time computational overhead.

Mots clés: Distributed Systems; Concurrent Componentbased Systems; Variability Models; Self-Configuration; Dynamic Reconfiguration

Domaines: Informatique [cs]; Génie logiciel [cs.SE]

Salman Farhat, Simon Bliudze, Laurence Duchien. Safe Dynamic Reconfiguration of Concurrent Component-based Applications. ICSA 2022 - 19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States. ⟨hal-03585767⟩