To content
Department of Computer Science

Research Focus


System Software Operating systems and operating system technology (concepts and mechanisms), tailoring and configuration, synchronization mechanisms, scheduling and resource management
Embedded Systems Static code analysis und automated transformation of embedded real-time systems (e.g., WCET analysis, system-agnostic representation), tailoring of non-functional properties (e.g., timeliness, quality of service)
Co-Design Integrated development of operating systems and applications (e.g., signal processing, logics, and control), adaptive cyber-physical systems and networks, mixed-criticality systems, HW/SW co-design
Dependability Functional safety and security in embedded systems, soft-error mitigation and fault tolerance