Welcome to the Real-Time and Embedded Systems Lab at Saarland University!


We study the modeling and design of embedded real-time systems.
A focus of our group is on identifying existing and designing new, predictable, yet efficient microarchitectural components suitable for use in hard real-time scenarios. For such components we develop sound, precise and efficient static analyses based on abstract interpretation.