About 98% of computing devices are embedded in all kinds of electronic equipment and machines. With the ongoing trend towards Industry 4.0 and the Internet of Things (IoT), the number of sensors and microcontrollers that surround us in our everyday lives is ever increasing. In the Embedded Systems Group, we investigate techniques for the correct and reliable construction of safe and secure embedded systems, as they are needed for the IoT. Our main research fields are:
- Safe and Secure Embedded Systems
- Formal Methods
- Test Automation
To find out more, have a look at our current research projects and at our publications.