We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Feature Models in the Wild
This project investigates and studies large-scale real world feature models, such as the Linux kernel, with more than 6000 features, and Ecos, with over 1000 features.
We have studied the their structural characteristics (size, depth, width, number of constraints), the evolution of the model, and also the languages used for expressing these models and their semantics.
Linux Kconfig and eCos ModelsTools for analyzing the Linux Kconfig language are available on Google Code under the Linux Variability Analysis Tools (LVAT) project. The CNF translation in dimacs format are available in this code repository. The Linux Kernel v2.6.32 and eCos variability models are available now in Clafer. A parser for this model is available as a BNFC specification with instructions to generate a Java parser here.