Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2013: Model-Driven Engineering Languages and Systems pp 370–387Cite as

Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8107))

Abstract

In the context of product line engineering of cyber-physical systems, there exists a large number of constraints to support, for example, consistency checking of design decisions made in hardware and software components during configuration. Manual configuration is not feasible in this context considering that managing and manipulating all these constraints in a real industrial context is very complicated and thus warrants an automated solution. Typical automation activities in this context include automated configuration value inference, optimizing configuration steps and consistency checking. However, to this end, relevant constraints have to be well-specified and characterized in the way such that automated configuration can be enabled. In this paper, we classify and characterize constraints that are required to be specified to support most of the key functionalities of any automated product configuration solution, based on our experience of studying three industrial product lines.

We thank the Research Council of Norway under the Certus SFI project, the Ministry of Industry and Trade of Norway, and the National Natural Science Foundation of China (No. 61170087) for funding the research.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Frakes, W.B., Kang, K.: Software reuse research: Status and future. IEEE Transactions on Software Engineering 31, 529–536 (2005)

    Article  Google Scholar 

  2. Ali, S., Yue, T., Briand, L., Walawege, S.: A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 726–742. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  3. Cyber-Physical Systems, http://cyberphysicalsystems.org/

  4. Ortiz, Ó., García, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, pp. 143–150. ACM, New York (2012)

    Google Scholar 

  5. Haber, A., Rendel, H., Rumpe, B., Schaefer, I.: Evolving delta-oriented software product line architectures. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 183–208. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  6. Juarez-Dominguez, A.L., Day, N.A., Joyce, J.J.: Modelling feature interactions in the automotive domain. In: Proceedings of the 2008 International Workshop on Models in Software Engineering, pp. 45–50. ACM, New York (2008)

    Chapter  Google Scholar 

  7. Object Constraint Language (OCL), http://www.omg.org/spec/OCL/2.2/

  8. Creff, S., Champeau, J., Monégier, A., Jézéquel, J.-M.: Relationships Formalization for Model-Based Product Lines. In: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference, vol. 1, pp. 158–163. IEEE Press, Washington, DC (2012)

    Chapter  Google Scholar 

  9. Ferber, S., Haag, J., Savolainen, J.: Feature interaction and dependencies: Modeling features for reengineering a legacy product line. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 235–256. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Mei, H., Zhang, W., Zhao, H.: A metamodel for modeling system features and their refinement, constraint and interaction relationships. Software and Systems Modeling 5, 172–186 (2006)

    Article  Google Scholar 

  11. Jaring, M., Bosch, J.: A taxonomy and hierarchy of variability dependencies in software product family engineering. In: Proceedings of the 28th Annual International Computer Software and Applications Conference, vol. 1, pp. 356–361. IEEE, Washington, DC (2004)

    Google Scholar 

  12. Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA 2005 Companion, pp. 200–201. ACM, New York (2005)

    Google Scholar 

  13. DOPLER, Decision Oriented Product Line Engineering for effective Reuse, http://ase.jku.at/dopler/

  14. Wan, K., Man, K., Hughes, D.: Specification, analyzing challenges and approaches for cyber-physical systems (CPS). Engineering Letters 18, 308 (2010)

    Google Scholar 

  15. Pure Systems website, http://www.pure-systems.com

  16. Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems. Information and Software Technology 55, 607–629 (2013)

    Article  Google Scholar 

  17. Visualizing Consistency Checking in Software Product Lines, http://www.jku.at/sea/content/e104861/e170007/e177920/

  18. Sinnema, M., Deelstra, S., Nijhuis, J., Bosch, J.: COVAMOF: A framework for modeling variability in software product families. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 197–213. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. Mendonca, M., Branco, M., Cowan, D.: SPLOT: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761–762. ACM, New York (2009)

    Chapter  Google Scholar 

  20. La Rosa, M., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H.: Questionnaire-based variability modeling for system configuration. Software & Systems Modeling 8, 251–274 (2009)

    Article  Google Scholar 

  21. El-Sharkawy, S., Schmid, K.: Supporting the effective configuration of software product lines. In: Proceedings of the 16th International Software Product Line Conference, pp. 119–126. ACM, New York (2012)

    Google Scholar 

  22. Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Software & Systems Modeling 11, 633–670 (2012)

    Article  Google Scholar 

  23. Myllärniemi, V., Asikainen, T., Männistö, T., Soininen, T.: Kumbang configurator–a configuration tool for software product families. In: 19th International Joint Conference on Artificial Intelligence, pp. 51–57. Citeseer, Edinburgh-Scotland (2005)

    Google Scholar 

  24. Dhungana, D., Seichter, D., Botterweck, G., Rabiser, R., Grunbacher, P., Benavides, D., Galindo, J.A.: Configuration of multi product lines by bridging heterogeneous variability modeling approaches. In: 15th International Software Product Line Conference, pp. 120–129. IEEE, New York (2011)

    Google Scholar 

  25. Silva Filho, R.S., Redmiles, D.F.: Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines. Feature Interactions in Software and Communication Systems IX 33 (2008)

    Google Scholar 

  26. Ziadi, T., Hëlouët, L., Jézéquel, J.-M.: Towards a UML profile for software product lines. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 129–139. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  27. Silva Filho, R.S., Redmiles, D.F.: Towards the Use of Dependencies to Manage Variability in Software Product Lines. Variability Management–Working with Variability Mechanisms 4 (2006)

    Google Scholar 

  28. Ye, H., Liu, H.: Approach to modelling feature variability and dependencies in software product lines. In: IEE Software Proceedings, vol. 152, pp. 101–109. IET, UK (2005)

    Google Scholar 

  29. Streitferdt, D., Riebisch, M., Philippow, K.: Details of formalized relations in feature models using OCL. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 297–304. IEEE, New York (2003)

    Google Scholar 

  30. Oster, S.: Feature Model-based Software Product Line Testing. PH.D Thesis. University of Namur, Belgium (2012)

    Google Scholar 

  31. Lee, Y., Yang, C., Zhu, C., Zhao, W.: An approach to managing feature dependencies for product releasing in software product lines. Reuse of Off-the-Shelf Components, 127-141 (2006)

    Google Scholar 

  32. Nohrer, A., Egyed, A.: Optimizing user guidance during decision-making. In: 15th International Software Product Line Conference, pp. 25–34. IEEE, Washington, DC (2011)

    Google Scholar 

  33. Zimmermann, O., Koehler, J., Leymann, F., Polley, R., Schuster, N.: Managing architectural decision models with dependency relations, integrity constraints, and production rules. Journal of Systems and Software 82, 1249–1267 (2009)

    Article  Google Scholar 

  34. Nöhrer, A., Egyed, A.: Conflict resolution strategies during product configuration. In: International Workshop on Variability Modelling of Software-intensive Systems, vol. 37, pp. 107–114 (2010)

    Google Scholar 

  35. Rosenmüller, M., Siegmund, N., Kästner, C., Ur Rahman, S.S.: Modeling dependent software product lines. In: GPCE Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), pp. 13–18 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Institute, Beihang University, Beijing, China

    Kunming Nie, Li Zhang & Zhiqiang Fan

  2. Certus Software V&V Center, Simula Research Laboratory, Oslo, Norway

    Tao Yue & Shaukat Ali

Authors
  1. Kunming Nie
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tao Yue
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shaukat Ali
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Li Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Zhiqiang Fan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Ana Moreira

  2. Institut für Mathematik, fortiss / Technische Universität München, Guerickestraße 25, 80805, München, Germany

    Bernhard Schätz

  3. Department of Computer Science, University of Alabama, Box 870290, 35487-0290, Tuscaloosa, AL, USA

    Jeff Gray

  4. ETSI Informática, Universidad de Málaga, Campus de Teatinos, Bulevar Louis Pasteur 35, 29071, Málaga, Spain

    Antonio Vallecillo

  5. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, 33199, Miami, FL, USA

    Peter Clarke

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nie, K., Yue, T., Ali, S., Zhang, L., Fan, Z. (2013). Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41533-3_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41532-6

  • Online ISBN: 978-3-642-41533-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation