The Real-time Embedded Software Group concentrates on research on real-time embedded software systems at the intersection of software technology, embedded networking, and applied formal methods. Real-time embedded systems are characterized by their interaction with the environment through sensors and actuators, their resource constraint platforms, and non-functional properties. Successful research in this area focusses on providing concepts, methods, and tools to build better systems more easily as well as on development of precise analytical methods for characterizing non-functional system properties and timing.