نظرة عامة على البرنامج

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 projects, including:

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

Basics of technical computer science

General

This course introduces the basics of technical computer science, including the history of digital computing, number systems, and Boolean algebra.

Learning objectives

The learning objectives of this course include:

• Understanding different number systems and their representations in computers
• Knowledge of Boolean algebra and its application in digital circuits
• Ability to design and minimize digital circuits
• Understanding of the technical basics of digital circuits
• Ability to model and simulate digital circuits using VHDL

Evidence of achievements and grading

The course includes a written exam and a lab project.

Literature

The course uses the following textbooks:

1. Computer architecture: from digital logic to parallel computers (Andrew S. Tanenbaum; Todd Austin)
2. Digital design and computer architecture (David Money Harris, Sarah L. Harris)
3. Design of digital circuits and systems with HDLs and FPGAs: Introduction to VHDL and SystemC (Frank Kesel; Ruben Bartholomä)
4. Semiconductor circuit technology (Ulrich Tietze; Christoph Schenk; Eberhard Gamm)
5. Computer organization and computer design: the hardware/software interface (David A. Patterson; John L. Hennessy. Scientific editing of the German edition: Walter Hower)
6. System integration: from transistor to large-scale integrated circuit (Kurt Hoffmann)
7. Technical computer science: an introductory presentation (Bernd Becker; Paul Molitor)
8. Computer Architecture: Structures, Concepts, Fundamentals (Andrew S. Tanenbaum)
9. Microprocessor technology and computer structures (Thomas Flik)
10. Principles of digital design (Daniel D. Gajski)
11. Computer structure and computer structures (Walter Oberschelp and Gottfried Vossen)
12. Boolean reasoning: the logic of Boolean equations (Frank Markham Brown)
13. The principles of computer hardware