Novel Variation Management Systems

DescriptionSoftware variability management is challenging. We’re working towards novel variation management systems, see publications below. TODO: reference to publications Contact:Extent: B.Sc./ M.Sc.

thesis together with Danfoss Denmark

Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.

A SAT solver for Linux

Description Incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts). More details on the kconfig-sat website . Contact:Extent: B.Sc./ M.Sc.