Zum Inhalt
Fakultät für Informatik

Diese Seite wird ausschließlich in englischer Sprache angeboten!


SS2022

Real-Time Systems and Applications (RTSA)

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

General Information

Lecture Sessions: Thursday: 12:00-14:00 c.t. @ OH12 E0.003
Friday: 10:00-12:00 c.t. @ OH12 E0.003
Exercise Sessions: TBA
Associated Persons: Prof. Dr. Jian-Jia Chen (Lecturer)
Nils Hölscher (Tutor/Organization)
Mario Günzel (Tutor)
Start of Course: 07.04.2022
Finals: Oral Exam
Credits: 8 Credits (Basismodul)
Moodle: https://moodle.tu-dortmund.de/course/view.php?id=26337

We hope to offer this course in presence this Semester. You can enroll yourself on Moodle via LSF. Should any questions arise please contact Nils Hölscher.

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.)