Hannes Holdschick
ABSTRACT
Using the methodology of software product lines, it is possible to generate program variants with a common core and additional variable modules. Feature-based variant management is especially suitable for documenting differences and similarities of such variants. A variant model created initially quickly becomes obsolete because of the permanent evolution of software functionalities in the automotive area. This is why we need a comprehensive concept how to handle evolution in variant-rich model-based software systems.
In order to achieve this, an exact understanding of the evolution of implementation artifacts is necessary in order to be able to adjust variant modeling for the most important change cases beforehand. This work presents a collection of relevant changes in a functional block model with the necessary adaptation of the variant model.
- V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba, and C. Lucena. Refactoring product lines. In Proceedings of the 5th international conference on Generative programming and component engineering, GPCE '06, pages 201--210, New York, NY, USA, 2006. ACM. Google Scholar
Digital Library
- D. S. Batory. Feature models, grammars, and propositional formulas. In J. H. Obbink and K. Pohl, editors, SPLC, volume 3714 of Lecture Notes in Computer Science, pages 7--20. Springer, 2005. Google ScholarDigital Library
- P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.Google ScholarDigital Library
- K. Czarnecki and E. Ulrich. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading, MA, USA, 2000. Google ScholarDigital Library
- ISO/IEC. ISO/IEC 9126. Software engineering -- Product quality. ISO/IEC, 2001.Google Scholar
- K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-oriented domain analysis (foda) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990.Google Scholar
- R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wąsowski. Evolution of the linux kernel variability model. In Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pages 136--150, Berlin, Heidelberg, 2010. Springer-Verlag. Google ScholarDigital Library
- I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella. Delta-oriented programming of software product lines. In Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pages 77--91, Berlin, Heidelberg, 2010. Springer-Verlag. Google ScholarDigital Library
- T. Thüm, D. S. Batory, and C. Kästner. Reasoning about edits to feature models. In ICSE, pages 254--264. IEEE, 2009. Google ScholarDigital Library
Index Terms
- Challenges in the evolution of model-based software product lines in the automotive domain
Recommendations
Managing evolution in software product lines: a model-checking perspective
VaMoS '12: Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive SystemsIn Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it ...
Evolution in dynamic software product lines: challenges and perspectives
SPLC '15: Proceedings of the 19th International Conference on Software Product LineIn many domains systems need to run continuously and cannot be shut down for reconfiguration or maintenance tasks. Cyber-physical or cloud-based systems, for instance, thus often provide means to support their adaptation at runtime. The required ...
Incremental model-based testing of delta-oriented software product lines
TAP'12: Proceedings of the 6th international conference on Tests and ProofsSoftware product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasible due to the large number of ...
Comments