Skip to main content
SpringerLink
Log in

Introduction to the Track on Variability Modeling for Scalable Software Evolution

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9953))

Included in the following conference series:

  • 2271 Accesses

Abstract

Information and communication technology today is increasingly integrated into the environment we live in, distributed on cars, appliances and smart infrastructures. The software running on these devices is increasingly individualized, adapted to the preferences and needs of the specific customer and must be able to evolve after deployment by means of software patches. Upgrades are becoming individualized; software patches used to upgrade the software are selected and adapted depending on the configuration and external constraints of the host device. The objective of the European project HyVar is to develop techniques and tools for fast and customizable software design, for the management of highly distributed applications, for continuous software evolution of remote devices, and scalable infrastructure to accommodate a large number of devices. The track Variability Modeling for Scalable Software Evolution aims to foster cooperation opportunities and create synergies between related research directions to address challenges stemming from software variability, evolution, and cloud technology for highly distributed applications in heterogeneous environments. This paper introduces the track and its individual contributions.

This paper contains an introduction to the ISoLA’16 track organized in the context of the EU H2020 project 644298 HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (http://www.hyvar-project.eu).

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

Access this chapter

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 EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    http://go.sap.com/product/enterprise-management/erp.html.

  2. 2.

    http://www.wired.com/2014/02/teslas-air-fix-best-example-yet-internet-things/.

  3. 3.

    http://www.dacapobench.org/.

References

  1. Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010)

    Article  Google Scholar 

  2. Atzori, L., Lera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)

    Article  MATH  Google Scholar 

  3. Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. In: Software and Systems Modeling, pp. 1–35 (2014)

    Google Scholar 

  4. Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50, 77–122 (2013). doi:10.1007/s00236-012-0173-z

    Article  MathSciNet  MATH  Google Scholar 

  5. Bosch, J.: From software product lines to software ecosystems. In: Proceedings of the 13th International Software Product Line Conference, SPLC (2009)

    Google Scholar 

  6. Chesta, C., Damiani, F., Dobriakova, L., Guernieri, M., Martini, S., Nieke, M., Rodrigues, V., Schuster, S.: A toolchain for delta-oriented modeling of software product lines. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  7. Stănciulescu, Ş., Rabiser, D., Seidl, C.: A technology-neutral role-based collaboration model for software ecosystems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  8. Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: Ábrahám, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 47–62. Springer, Heidelberg (2016). doi:10.1007/978-3-319-33693-0_4

    Chapter  Google Scholar 

  9. Damiani, F., Lienhardt, M.: Refactoring delta oriented product lines to enforce guidelines for efficient type-checking. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  10. Damiani, F., Schaefer, I., Winkelmann, T.: Delta-oriented multi software product lines. In: 18th International Software Product Line Conference, SPLC 2014, pp. 232–236 (2014)

    Google Scholar 

  11. Hähnle, R., Muschevici, R.: Towards incremental validation of railway systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  12. Holl, G., Grünbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Inf. Soft. Technol. 54, 828–852 (2012)

    Article  Google Scholar 

  13. Johnsen, E.B., Lin, J.-C., Yu, I.C.: Comparing AWS deployments using model-based predictions. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  14. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC document (1990)

    Google Scholar 

  15. Khalilov, E., Ross, J., Antkiewicz, M., Markus Völter, K.C.: Modeling and optimizing automotive electric/electronic (E/E) architectures: towards makingclafer accessible to practitioners. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  16. Lehman, M.M.: Programs, life cycles, and laws of software evolution. In: Proceedings of the IEEE (1980)

    Google Scholar 

  17. Nieke, M., Mauro, J., Seidl, C., Yu, I.C.: User profiles for context-aware reconfiguration in software product lines. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  18. Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering - Foundations Principles and Techniques. Springer, Berlin/Heidelberg (2005)

    Book  MATH  Google Scholar 

  19. Rosà, A., Zheng, Y., Sun, H., Javed, O., Binder, W.: Adaptable runtime monitoring for the java virtual machine. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  20. Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) Software Product Lines: Going Beyond. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT 14(5), 477–495 (2012)

    Article  Google Scholar 

  22. Schmid, K., Santana de Almeida, E.: Product line engineering. IEEE Softw. 4, 24–30 (2013)

    Article  Google Scholar 

  23. Seidl, C., Schaefer, I., Aßmann, U.: Integrated management of variability in space and time in software families. In Proceedings of the 18th International Software Product Line Conference (SPLC), SPLC 2014 (2014)

    Google Scholar 

  24. Svahnberg, M., Bosch, J.: Evolution in software product lines. J. Softw. Maint. Res. Pract. 11(6), 391–422 (1999)

    Article  Google Scholar 

  25. ter Beek, M., Fantechi, A., Gnesi, S., Semini, L.: Variability-based design of services for smart transportation systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

  26. van den Berk, I., Jansen, S., Luinenburg, L., Ecosystems, S.: A software ecosystem strategy assessment model. In: Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, pp. 127–134. ACM (2010)

    Google Scholar 

  27. Wille, D., Tiede, M., Schulze, S., Seidl, C., Schaefer, I.: Identifying variability in object-oriented code using model-based code mining. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Torino, Turin, Italy

    Ferruccio Damiani

  2. Technische Universität Braunschweig, Braunschweig, Germany

    Christoph Seidl

  3. University of Oslo, Oslo, Norway

    Ingrid Chieh Yu

Authors
  1. Ferruccio Damiani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christoph Seidl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ingrid Chieh Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christoph Seidl .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Damiani, F., Seidl, C., Yu, I.C. (2016). Introduction to the Track on Variability Modeling for Scalable Software Evolution. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47169-3_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47168-6

  • Online ISBN: 978-3-319-47169-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation