Philip Ochs, Tobias Pett

Context: A product line represents a set of products which are built from common and reusable artefacts and can be used for developing and managing highly configurable products where each variant is tailored to a customer. To investigate if a customer’s configuration is functioning, the manufacturer checks the realisability of the configuration before the actual production.

Goal: As the number of possible variants in a product line can grow exponentially, manual analysis per-product usually is infeasible. Thus, approaches for scaling realisability analysis for large product lines need to be investigated.

Requirements: Prior knowledge about product lines and constraint satisfaction problems helpful, but not necessary.