The general purpose of an embedded hardware/software system is to control or to monitor a physical device by sending control commands to actuators in reaction to input signals from sensors or human users.
The embedded systems group explores the mathematical foundations of embedded systems, specification techniques, quality assurance techniques including mathematical verification and test case generation, tool support and methodological issues of embedded systems design.

Our medium-term goal is to bring together these activities in the paradigm of model-based development, which relies on the use of explicit models to describe development activities and products. Explicit process and product models allow us to define and use complex development steps that are correct by design, to generate proof obligations for a given transformation, to trace requirements, and to document the development process.

Our group is sub-divided into the following areas of expertise:

"Development processes"
"Formal methods and models"
"Software synthesis and tool support"