|Authors||R. Behjati and S. Nejati|
|Title||Backtrack-Free Consistent Configuration of Highly-Configurable Systems|
|Publication Type||Technical reports|
|Year of Publication||2014|
|Publisher||Simula Research Laboratory|
Configuration is a recurring problem in many domains. In this paper, we focus on architecture-level configuration of large-scale embedded software systems. In this context, engineers configure products by instantiating a given reference architecture model. The elements in each product instance have to satisfy a number of constraints specified in the reference architecture model. If not, the engineers have to backtrack their configuration decisions to rebuild a configured product satisfying the constraints. Backtracking configuration decisions makes the configuration process considerably slow. In this paper, we propose a backtrack-free configuration mechanism. Specifically, given a generic reference architecture, we provide an ordering over configuration parameters. Utilizing this ordering over parameters, we then propose a configuration algorithm and prove that our algorithm produces consistent products without ever requiring backtracking.