Tagged:

Announcements

Recent Publications

Group Overview

The Real-time Embedded Software Group concentrates on research on real-time embedded software systems and the interest lies at the intersection of software technology, embedded networking, and resource analysis for embedded devices. 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. Within this realm:

  • Taking a fresh view: Building and investigating systems with novel/unconventional software technology and concepts (see stateful communication schedules encoded by an interpreted programming language in Network Code).
  • Investigating oxymorons: Ample space for finding new concepts and analyzing trade-offs (see adaptive and reconfigurable yet correct and checkable real-time systems with Network Code and APRES).
  • Applying formal methods to systems research: For example investigating properties of execution semantics of programs in the context of resources, timing, and values.

Recent Project/Research Entries