Embedded Systems
Our goal is to develop theories, techniques and software tools for the
design, verification, and implementation of (networked) embedded systems.
Application areas over smart city, green IoT, smart sport and automotive systems.
Current members
- Syed Md Jakaria Abdullah
(Ph.D. student)
- Gaoyang Dai
(Ph.D. student)
- Riccardo de Masellis
(Researcher)
- Pontus Ekberg
(faculty)
- Zafer Esen
(Ph.D. student)
- Chencheng Liang
(Ph.D. student)
- Xiuming Liu
(Ph.D. student)
- Morteza Mohaqeqi
(faculty)
- Leonid Mokrushin (Industrial Ph.D.)
- Edith Ngai
(faculty, on leave)
- Philipp Ruemmer
(faculty)
- Amanda Stjerna (Ph.D. student)
- Wang Yi
(faculty)
- Vera van Zoest
(post-doc)
Research Activities
- Smart City, Green IoT
- SMT, Verification of Embedded Software
- Theory of Real-time scheduling
- Timed Systems
- Design of Customizable Systems
Software tools
- PRINCESS
, the Scala Theorem Prover
- TIMES
, a tool for schedulability analysis
- CATS
, a tool compositonal timing analysis based on the real-time calculus (RTC)
- TIMES-Pro
, a more efficient version of TIMES
- UPPAAL
, a model checker for timed systems
Teaching Activities
The group is coordinating and responsible for the International Master Program in Embedded Systems (more information on the program
), offering the following courses:
- Real-Time Systems
- Programming Embedded Systems
- Introduction for Master Students (Computer Science and Embedded Systems)