Feature Models in Linux – From Symbols to Semantics

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Valentin Rothberg
  • Nicolas Dintzner
  • Andreas Ziegler
  • Daniel Lohmann

External Research Organisations

  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU Erlangen-Nürnberg)
  • Delft University of Technology
View graph of relations

Details

Original languageEnglish
Title of host publicationVaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
EditorsVander Alves, Ina Schaefer, Eduardo Santana de Almeida
PublisherAssociation for Computing Machinery (ACM)
Pages65-72
Number of pages8
ISBN (electronic)9781450340199
Publication statusPublished - Jan 2016
Externally publishedYes
Event10th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2016 - Salvador, Brazil
Duration: 27 Jan 201629 Jan 2016

Abstract

Linux is a highly configurable operating-system kernel which has been widely studied in the context of software product lines over the past years. Understanding the challenges and perils of evolving and maintaining feature models of the size of Linux is crucial to provide the right tools for development today and to direct future research. Unfortunately, previous studies show contradictory observations when analyzing the evolution of Linux feature models. We explain how peculiarities of the feature models of the Linux kernel lead to those differing observations, and show how the results can be re-aligned. Moreover, our findings also demonstrate that symbolic differencing on feature models used by researchers so far has limited value, depending on the use case. We show how the limitations can be addressed by means of semantic differencing, and ironically invalidate the results we sought to re-align.

Keywords

    Cados, Configurability, Feature models, Kconfig, Linux

ASJC Scopus subject areas

Cite this

Feature Models in Linux – From Symbols to Semantics. / Rothberg, Valentin; Dintzner, Nicolas; Ziegler, Andreas et al.
VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. ed. / Vander Alves; Ina Schaefer; Eduardo Santana de Almeida. Association for Computing Machinery (ACM), 2016. p. 65-72.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Rothberg, V, Dintzner, N, Ziegler, A & Lohmann, D 2016, Feature Models in Linux – From Symbols to Semantics. in V Alves, I Schaefer & ES de Almeida (eds), VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery (ACM), pp. 65-72, 10th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2016, Salvador, Brazil, 27 Jan 2016. https://doi.org/10.1145/2866614.2866624
Rothberg, V., Dintzner, N., Ziegler, A., & Lohmann, D. (2016). Feature Models in Linux – From Symbols to Semantics. In V. Alves, I. Schaefer, & E. S. de Almeida (Eds.), VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (pp. 65-72). Association for Computing Machinery (ACM). https://doi.org/10.1145/2866614.2866624
Rothberg V, Dintzner N, Ziegler A, Lohmann D. Feature Models in Linux – From Symbols to Semantics. In Alves V, Schaefer I, de Almeida ES, editors, VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery (ACM). 2016. p. 65-72 doi: 10.1145/2866614.2866624
Rothberg, Valentin ; Dintzner, Nicolas ; Ziegler, Andreas et al. / Feature Models in Linux – From Symbols to Semantics. VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. editor / Vander Alves ; Ina Schaefer ; Eduardo Santana de Almeida. Association for Computing Machinery (ACM), 2016. pp. 65-72
Download
@inproceedings{a6de8e785b8748b5a32f7a1ca38fbecd,
title = "Feature Models in Linux – From Symbols to Semantics",
abstract = "Linux is a highly configurable operating-system kernel which has been widely studied in the context of software product lines over the past years. Understanding the challenges and perils of evolving and maintaining feature models of the size of Linux is crucial to provide the right tools for development today and to direct future research. Unfortunately, previous studies show contradictory observations when analyzing the evolution of Linux feature models. We explain how peculiarities of the feature models of the Linux kernel lead to those differing observations, and show how the results can be re-aligned. Moreover, our findings also demonstrate that symbolic differencing on feature models used by researchers so far has limited value, depending on the use case. We show how the limitations can be addressed by means of semantic differencing, and ironically invalidate the results we sought to re-align.",
keywords = "Cados, Configurability, Feature models, Kconfig, Linux",
author = "Valentin Rothberg and Nicolas Dintzner and Andreas Ziegler and Daniel Lohmann",
year = "2016",
month = jan,
doi = "10.1145/2866614.2866624",
language = "English",
pages = "65--72",
editor = "Vander Alves and Ina Schaefer and {de Almeida}, {Eduardo Santana}",
booktitle = "VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",
note = "10th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2016 ; Conference date: 27-01-2016 Through 29-01-2016",

}

Download

TY - GEN

T1 - Feature Models in Linux – From Symbols to Semantics

AU - Rothberg, Valentin

AU - Dintzner, Nicolas

AU - Ziegler, Andreas

AU - Lohmann, Daniel

PY - 2016/1

Y1 - 2016/1

N2 - Linux is a highly configurable operating-system kernel which has been widely studied in the context of software product lines over the past years. Understanding the challenges and perils of evolving and maintaining feature models of the size of Linux is crucial to provide the right tools for development today and to direct future research. Unfortunately, previous studies show contradictory observations when analyzing the evolution of Linux feature models. We explain how peculiarities of the feature models of the Linux kernel lead to those differing observations, and show how the results can be re-aligned. Moreover, our findings also demonstrate that symbolic differencing on feature models used by researchers so far has limited value, depending on the use case. We show how the limitations can be addressed by means of semantic differencing, and ironically invalidate the results we sought to re-align.

AB - Linux is a highly configurable operating-system kernel which has been widely studied in the context of software product lines over the past years. Understanding the challenges and perils of evolving and maintaining feature models of the size of Linux is crucial to provide the right tools for development today and to direct future research. Unfortunately, previous studies show contradictory observations when analyzing the evolution of Linux feature models. We explain how peculiarities of the feature models of the Linux kernel lead to those differing observations, and show how the results can be re-aligned. Moreover, our findings also demonstrate that symbolic differencing on feature models used by researchers so far has limited value, depending on the use case. We show how the limitations can be addressed by means of semantic differencing, and ironically invalidate the results we sought to re-align.

KW - Cados

KW - Configurability

KW - Feature models

KW - Kconfig

KW - Linux

UR - http://www.scopus.com/inward/record.url?scp=84961180427&partnerID=8YFLogxK

U2 - 10.1145/2866614.2866624

DO - 10.1145/2866614.2866624

M3 - Conference contribution

AN - SCOPUS:84961180427

SP - 65

EP - 72

BT - VaMoS '16: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems

A2 - Alves, Vander

A2 - Schaefer, Ina

A2 - de Almeida, Eduardo Santana

PB - Association for Computing Machinery (ACM)

T2 - 10th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2016

Y2 - 27 January 2016 through 29 January 2016

ER -