Feature Models vs BDD size: Impact analysis

PDF of the proposal

We work on an approach that leverages feature models for acquiring a compact representation of a set of valid configurations of a system in the form of a JavaBIP model used to control the software system at run time. The goal of this project is to propose and evaluate new approaches to the analysis of the impact of the feature model shape on the size of the Binary Decision Diagrams (BDDs) that encode it in JavaBIP (and thereby on the ensuing JavaBIP engine overhead).

Read more