Research

The Real Time Systems Group focuses on the following areas: planning of complex technical systems, modelling and analysis of event-discrete systems with formal methods, software development methods and devices in the automation technology as well as in the programming and testing of embedded, networked control devices under the aspect of real time, reliability and security.

The respective applications range from systems automation with industrial, programmable logic controllers to event-discrete (reactive) control of autonomous, mobile robots with embedded microcontrols and real time operating systems.