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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
Atzori, L., Lera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)
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)
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
Bosch, J.: From software product lines to software ecosystems. In: Proceedings of the 13th International Software Product Line Conference, SPLC (2009)
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)
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)
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
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)
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)
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)
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)
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)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC document (1990)
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)
Lehman, M.M.: Programs, life cycles, and laws of software evolution. In: Proceedings of the IEEE (1980)
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)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering - Foundations Principles and Techniques. Springer, Berlin/Heidelberg (2005)
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)
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)
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)
Schmid, K., Santana de Almeida, E.: Product line engineering. IEEE Softw. 4, 24–30 (2013)
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)
Svahnberg, M., Bosch, J.: Evolution in software product lines. J. Softw. Maint. Res. Pract. 11(6), 391–422 (1999)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)