@misc{13104, author = {Razieh Behjati and Shiva Nejati}, title = {Backtrack-Free Consistent Configuration of Highly-Configurable Systems}, abstract = {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.}, year = {2014}, number = {2014-02}, publisher = {Simula Research Laboratory}, }