Article (Scientific journals)
Architecture-Level Configuration of Large-Scale Embedded Software Systems
Behjati, Razieh; NEJATI, Shiva; BRIAND, Lionel
2014In ACM Transactions on Software Engineering and Methodology, 23 (3)
Peer Reviewed verified by ORBi
 

Files


Full Text
MathModel.pdf
Author preprint (1.44 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Model-based product-line engineering; Product configuration; Consistent configuration; Constraint satisfaction techniques; Formal specification; UML/OCL
Abstract :
[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
ISSN :
1049-331X
Publisher :
Association for Computing Machinery
Volume :
23
Issue :
3
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 03 February 2014

Statistics


Number of views
238 (37 by Unilu)
Number of downloads
6 (6 by Unilu)

Scopus citations®
 
11
Scopus citations®
without self-citations
7
OpenCitations
 
10
WoS citations
 
9

Bibliography


Similar publications



Contact ORBilu