Program Overview

Institute of Embedded Systems/Real-Time Systems

The Institute of Embedded Systems/Real-Time Systems is a leading research and educational institution in the field of embedded systems and real-time systems.

##Staff The institute is led by a team of experienced professors and researchers, including:

• Prof. Dr. Frank Slomka
• Prof. Dr. Michael Glaß -Barbara Porada
• Ivan Feras Fattohi -Steffen Moser -Alexander Janus
• Luke Pfeifer
• Pascal Guttmann

Teaching

The institute offers a wide range of courses and programs in the field of embedded systems and real-time systems, including:

• Winter 2025/2026:
  • Basics of technical computer science
  • Basics of computer architecture
  • Verification of digital systems
  • Design methodology of embedded real-time systems
  • MATLAB/Mathematica programming lab
  • Embedded systems
  • Seminar reliability analysis of embedded systems
  • Projects:
    • Automatic design of reliable embedded systems
    • Algorithms of real-time analysis
    • Real-time communication systems
    • Basics of modeling space flight/Apollo control computer
    • Hybrid optimization in embedded system design
    • Modular design of embedded systems
    • Smart Systems: AUV
• Summer 2025:
  • Seminar design space exploration of embedded systems
  • Specification of embedded systems
  • Dependable embedded systems
  • Architecture of embedded systems
  • Computer architecture
• Lectures:
  • Basics of technical computer science
  • Computer architecture
  • Architecture of embedded systems
  • Dependable embedded systems
  • Real-time systems in robotics and control technology
  • Design methodology of embedded systems
  • MATLAB/Mathematica programming lab
  • Computer-aided design of embedded real-time systems for unmanned aerial vehicles
  • Specification of embedded systems
  • Verification of digital systems
• Seminars:
  • D&D seminar
  • Proseminar Embedded Systems
  • Real-time theory seminar
  • Seminar design space exploration of embedded systems
  • Seminar reliability analysis of embedded systems
• Projects:
  • Automatic design of reliable embedded systems
  • Algorithms of real-time analysis
  • Real-time communication systems
  • Basics of modeling space flight/Apollo control computer
  • Hybrid optimization in embedded system design
  • Modular design of embedded systems
  • Smart Systems: AUV
• Labs:
  • Embedded systems
• Online modules:
  • Embedded systems design methodology

Theses

The institute offers various thesis topics, including:

• General
• Underwater communication
• Design and optimization of embedded systems
• Embedded real-time systems

##Research The institute is involved in various research areas, including:

• Publications
• Controller/Platform Co-Design of Networked Control Systems
• Real time theory
• Approxsys
• Hepproxsys I
• Hepproxsys II
• Parlot I
• Parlot II

Design methodology of embedded real-time systems

General

Embedded systems are the most common computing systems worldwide and can be found everywhere in everyday life. The main feature of these systems is the integration of a computing system into a specific technical context, which leads to particular development challenges.

Learning objectives

The students should learn the theoretical basics necessary for the verification, analysis and optimization of embedded systems. In particular, students should acquire basic knowledge of formal real-time verification.

Evidence of performance and grade formation

Oral or written exam (depending on the number of participants). The module grade is determined by the result of the examination.

Literature

• Jürgen Teich, Digital Hardware/Software Systems, Springer
• Peter Marwedel, Embedded Systems, Springer
• Zbigniew Michalewicz and David B. Fogel, Modern Heuristics, Springer
• Giorgio Buttazzo, Hard Real-Time Computing Systems, Springer