Emmy Noether Research Group: Constraint-based models and algorithms for self-diagnosis and self-scheduling in embedded and software systems

Given the increasing number of components and interactions, methods for the autonomous diagnosis and reconfiguration of networked systems, such as embedded systems in automobiles or web services on the Internet, are becoming increasingly important.
However, the resulting vast state spaces, as well as preferences (probabilities, costs, user preference) and dynamics (time-varying observations, user interaction), place special demands on suitable model descriptions and algorithms. The goal of the proposed project is to develop constraint-based modeling techniques and algorithmic methods at the intersection of artificial intelligence, combinatorial optimization, and software engineering to support and automate the programming of complex embedded systems and software services.