Joint Effort of Features and Components to Safely Reconfigure Software Architectures

We use feature models to automatically generate a JavaBIP run-time variability model, which 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 having to compute or validate them at run time. We demonstrate the practicality of our approach by evaluating the overhead induced by the run-time variability models on applications involving up to 1000 features.