[en] Configuration in the domain of integrated control systems
(ICS) is largely manual, laborious, and error-prone. In this paper, we
propose a model-based configuration approach that provides automation
support for reducing configuration effort and the likelihood of configuration
errors in the ICS domain. We ground our approach on componentbased
specifications of ICS families. We then develop a configuration
algorithm using constraint satisfaction techniques over finite domains to
generate products that are consistent with respect to their ICS family
specifications. We reason about the termination and consistency of our
configuration algorithm analytically. We evaluate the effectiveness of our
configuration approach by applying it to a real subsea oil production
system. Specifically, we have rebuilt a number of existing verified product
configurations of our industry partner. Our experience shows that
our approach can automatically infer up to 50% of the configuration
decisions, and reduces the complexity of making configuration decisions.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Behjati, Razieh; Certus Centre, Simula Research Lab
NEJATI, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Architecture-Level Configuration of Large-Scale Embedded Software Systems
Publication date :
May 2014
Journal title :
ACM Transactions on Software Engineering and Methodology
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
Bibliography
Similar publications
Sorry the service is unavailable at the moment. Please try again later.