The C programming language
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Modularization and hierarchy in a family of operating systems
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Embedded Software Development with eCos
Embedded Software Development with eCos
Proceedings of the 25th International Conference on Software Engineering
On Designing an Experiment to Evaluate a Reverse Engineering Tool
WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Configuration Lifting: Verification meets Software Configuration
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Efficient extraction and analysis of preprocessor-based variability
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
TypeChef: toward type checking #ifdef variability in C
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Evolution of the linux kernel variability model
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Partial preprocessing C code for variability analysis
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
Software variability: the design space of configuration languages
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
Code-based variability model extraction for software product line improvement
Proceedings of the 16th International Software Product Line Conference - Volume 2
Adding configuration to the choice calculus
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Investigating preprocessor-based syntax errors
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Extracting feature model changes from the Linux kernel using FMDiff
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 0.00 |
Variability management in operating systems is an error-prone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kconfig for users to customize kernels from an impressive amount of selectable features. However, the lack of a dedicated tool for kernel developers leads to inconsistencies between the implementation and the variant model described by Kconfig. This results in real bugs like features that cannot be either enabled or disabled at all; the so called zombie features. For both in the implementation and the variant model, these inconsistencies can be categorized in referential and semantic problems. We therefore propose a tool approach to check the variability described by conditional compilation in the implementation with the variant model for both kinds of consistency. Our analysis of the variation points show that our approach is feasible for the amount of variability found in the Linux kernel.