Embedded Systems Group (ES)

Teaching Tools

This page provides several online tools to solve standard problems that occur in the lecture courses offered by the embedded systems group. These tools are intended to help our students with the preparation of their exams.


Averest is a set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler and a simulator for synchronous programs, a symbolic model checker and a tool for hardware-software synthesis. In particular, Averest is not only well-suited for hardware design, but also for modeling communication protocols, concurrent programs or software in embedded systems. A new video tutorial is available.