To content
Department of Computer Science
SS2022

Real-Time Systems and Applications (RTSA)

This is the homepage of the course Real-Time Systems and Applications taught in the summer semester 2024.

General Information

Lecture Sessions: Thursday: 12-14, OH12 E.003
Friday: 10-12, OH12 E.003
Exercise Sessions: TBA
Associated Persons: Prof. Dr. Jian-Jia Chen (Lecturer)
Georg v.d. Brüggen (Lecturer)
Nils Hölscher (Tutor/Organization)
Start of Course: 11th of April
Finals: Oral Exam
Credits: 8 Credits (Basismodul)
Moodle: Please register via LSF

We hope to offer this course in presence this Semester. You will be able to enrol yourself on Moodle via LSF. Should any questions arise, please contact Nils Hölscher. Moodle room is Not up Yet!

Course Introduction

Real-time systems play a crucial role in many applications, such as avionic control systems, automotive electronics, telecommunications, industrial automation, and robotics. Such safety-critical applications require high reliability in timing assurance to prevent from serious damage to the environment and significant human loss.

In this course, we will study the fundamentals from theoretical and practical perspectives to provide formal design and verification of real-time systems. The main objectives are to introduce the basic concepts and some advanced topics in real-time systems, illustrate the most significant and state-of-the-art results in the field, and provide the basic methodologies for designing predictable computing systems which can be used to support critical control applications. The following subjects will be covered in the course:

  • Introduction to Task Models and Scheduling
  • Uniprocessor Scheduling
  • Resource Sharing and Resource Reservation Servers
  • Worst-Case Execution Time Analysis and Compilers Perspectives
  • Real-Time Operating Systems and Programming Languages
  • Real-Time Communications
  • Real-Time Calculus
  • Multiprocessor Scheduling

Prerequisites

A basic background in algorithm analysis, data structures, operating systems, and discrete math will be assumed.

Literature

  • Giorgio C. Buttazzo, “Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications”, Springer, Second Edition, 2004. ISBN: 0-387-23137-4 (roughly 40% of the lecture)
  • Conference and journal papapers in the literature. (Further information during the lecture.)