AuthorsR. Behjati and S. Nejati
TitleBacktrack-Free Consistent Configuration of Highly-Configurable Systems
AfilliationSoftware Engineering
Project(s)No Simula project
Publication TypeTechnical reports
Year of Publication2014
PublisherSimula 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.

Citation KeySimula.simula.2608