Approaches to platform-based system synthesis with answer set programming

Davide Liessi

Corso per il dottorato "Modeling Bioinformatics with Logic Programming"

Embedded systems can be found everywhere in our daily life. Designing a new embedded system nowadays is a difficult task, due to the increasing complexity of law requirements, customer demands and hardware systems. In this seminar I will show how to represent the problem of platform-based system synthesis as a problem of satisfiability modulo theory that can be solved by coupling a logic solver and a linear arithmetic solver. In particular I will present some techniques that can be applied to the logic solver to improve performance and scalability. The seminar is based on works by B. Andres, M. Gebser, C. Haubelt, T. Schaub, and others.