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 framework for the model-based design of reactive systems that supports the specification, verification, and implementation. It contains a simulator, support for formal verification with temporal logics, and various transformations for hardware and software synthesis of embedded reactive systems or pure hardware circuits.