CONFIGEN: A tool for managing configuration options

Emmanuel Ohayon
(CEA LIST)
Matthieu Lemerre
(CEA LIST)
Vincent David
(CEA LIST)

This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interactive interface. Configuration files for use by C/assembly code and Makefiles are then automatically generated, and we successfully used it as a helper tool for complex system software refactoring. CONFIGEN is based on propositional logic, and its implementation faces hard theoretical problems.

In Inês Lynce and Ralf Treinen: Proceedings First International Workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, UK, 10th July 2010, Electronic Proceedings in Theoretical Computer Science 29, pp. 32–43.
Published: 6th July 2010.

ArXived at: https://dx.doi.org/10.4204/EPTCS.29.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org