| Authors | R. Behjati and S. Nejati |
| Title | Backtrack-Free Consistent Configuration of Highly-Configurable Systems |
| Afilliation | Software Engineering |
| Project(s) | No Simula project |
| Status | Published |
| Publication Type | Technical reports |
| Year of Publication | 2014 |
| Number | 2014-02 |
| Publisher | Simula Research Laboratory |
| 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. |
| Citation Key | Simula.simula.2608 |