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’ 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
UML Superstructure Specification, v2.3 (May 2010)
Marte (2012), http://www.omgmarte.org/
Object Constraint Language (2012), http://www.omg.org/spec/OCL/2.2/
Sicstus Prolog Homepage (February 2012), http://www.sics.se/sicstus/
Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL a product-line modeling methodology for families of integrated control systems, Tech. Repo 2011-14, SRL (2011), http://simula.no/publications/Simula.simula.746
Benavides, D., Segura, S., Trinidad, P., Ruiz Cortés, A.: Fama: Tooling a framework for the automated analysis of feature models. In: VaMoS (2007)
Cabot, J., Clarisó, R., Riera, D.: Verification of uml/ocl class diagrams using constraint programming, Washington, DC, USA, pp. 73–80 (2008)
Carlsson, M., Mildner, P.: Sicstus prolog – the first 25 years. CoRR, abs/1011.5640 (2010)
Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191–206. Springer, Heidelberg (1997)
Collavizza, H., Rueher, M., Van Hentenryck, P.: A constraint-programming framework for bounded program verification. Constraints Journal (2010)
Czarnecki, K., Kim, P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: Proceedings of the International Workshop on Software Factories at OOPSLA (2005)
Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. In: Software Process: Improvement and Practice (2005)
Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE 2006, pp. 211–220 (2006)
Eames, B.K., Neema, S., Saraswat, R.: Desertfd: a finite-domain constraint based tool for design space exploration. Design Autom. for Emb. Sys. 14(2), 43–74 (2010)
Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(fd). Selected Papers from Constraint Programming: Basics and Trends (1995)
Horváth, Á., Varró, D.: Dynamic constraint satisfaction problems over models. Software and Systems Modeling (November 2010)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Spencer Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21 (1990)
Lopez-Herrejon, R.E., Egyed, A.: Detecting Inconsistencies in Multi-View Models with Variability. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 217–232. Springer, Heidelberg (2010)
Mazo, R., Salinesi, C., Diaz, D., Lora-Michiels, A.: Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In: ENASE (2011)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Behjati, R., Nejati, S., Yue, T., Gotlieb, A., Briand, L. (2012). Model-Based Automated and Guided Configuration of Embedded Software Systems. In: Vallecillo, A., Tolvanen, JP., Kindler, E., Störrle, H., Kolovos, D. (eds) Modelling Foundations and Applications. ECMFA 2012. Lecture Notes in Computer Science, vol 7349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31491-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-31491-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31490-2
Online ISBN: 978-3-642-31491-9
eBook Packages: Computer ScienceComputer Science (R0)