@misc{8784,
  keywords = {Conference},
  author = {Razieh Behjati and Shiva Nejati and Tao Yue and Arnaud Gotlieb and Lionel Briand},
  title = {Model-Based Automated and Guided Configuration of Embedded Software Systems},
  abstract = {Configuring Integrated Control Systems (ICSs) is largely manual, time-consuming and error-prone. In this paper, we propose a model-based configuration approach that interactively guides engineers to configure software embedded in ICSs. Our approach verifies engineers{\textquoteright} decisions at each configuration iteration, and further, automates some of the decisions. We use a constraint solver, SICStus Prolog, to automatically infer configuration decisions and to ensure the consistency of configuration data. We evaluated our approach by applying it to a real subsea oil production system. Specifically, we rebuilt a number of existing verified product configurations of our industry partner. Our experience shows that our approach successfully enforces consistency of configurations, can automatically infer up to 50\% of the configuration decisions, and reduces the complexity of making configuration decisions.},
  year = {2012},
  journal = {ECMFA 2012},
  volume = {7349},
  pages = {226-243},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin Heidelberg},
  doi = {10.1007/978-3-642-31491-9\_18},
  editor = {Antonio Vallecillo and Juha-Pekka Tolvanen and Ekkart Kindler and Harald St{\"o}rrle and Dimitris Kolovos},
}