Efficient configuration and verification of software product lines
Ingo Feinerer · 2011
Important aspects in dealing with software product lines are correctness, necessity, and efficiency. We present an open-source tool capable of producing minimal configurations for a specification in the Unified Modeling Language which allows us to model both hardware configurations and software product lines. Our approach translates the specification into an Integer Linear Program which allows the user to verify the correctness of configurations. Real-world applications range from the railway domain to Debian GNU/Linux package management and Linux kernel configuration.