Modulinformationssystem Informatik

 

Embedded Real-Time Systems URL PDF XML

Modulcode: Inf-EntEinSys
Englische Bezeichnung: Embedded Real-Time Systems
Modulverantwortliche(r): Prof. Dr. Reinhard von Hanxleden
Turnus: unregelmäßig (SS11 SS13 WS14/15 WS15/16 WS17/18 SS19 WS20/21 WS22/23 SS24)
Präsenzzeiten: 4V 2Ü
ECTS: 8
Workload: 60 h lectures, 30 h exercises, 150 h self studies
Dauer: ein Semester
Modulkategorien: BSc-Inf-WP (BSc Inf (21)) WI (BSc Inf (15)) WIPVNS (BSc Inf) MSc-Inf-WP (MSc Inf (21)) 2F-MEd-Inf-WP (MEd-Hdl Inf (21)) 2F-MA-Inf-WP (2F-MA Inf (21)) MSc-WInf-WP-Inf (MSc WInf (21)) PI (MSc Inf (15)) WI (MSc Inf (15)) WI (MSc WInf (15)) WI (MEd Inf) WPI (MEd Inf) IS (SA) (MSc Inf (2-Fach)) IG (MSc Inf)
Lehrsprache: Englisch
Voraussetzungen: Info Inf-Math-A Inf-ProgOO

Kurzfassung:

A cell phone that transmits voice signals correctly, but with too much delay, is unsatisfactory. An airbag controller, that ignites the correct airbags, but does so too late, is life threatening. These are two examples of embedded real-time applications, for which the reaction time is as critical as the reaction result. This lecture provides an introduction into different aspects of embedded real-time systems.

Lernziele:

After successfully completing this module, the students will understand the fundamentals of embedded/real-time systems. Students will be able to select suitable platforms and programming languages for such systems, and they will be able to conduct design projects in this area. They will be aware of dependability concerns, and should be familiar with concurrency issues.

Lehrinhalte:

  • Model-based design
  • Concurrency and scheduling
  • Embedded hardware
  • Distributed real-time systems
  • Worst-case execution time analysis

Weitere Voraussetzungen:

Mathematical knowledge (eg as in "Mathematik A"), programming experience, firm knowledge in C and Java.

Prüfungsleistung:

The grade is determined by a final written exam. Prerequisite for admission to exam: received at least 50% of homework assignment points.

The final grade for the module is given by either 1) the exam grade, or 2) 85% of the exam grade + 15% of the homework grade, whichever is better of the two.

Lehr- und Lernmethoden:

Lectures, weekly exercises, software development with open-source modeling tools such as Ptolemy or Lingua Franca, practical experiments with Polulu 3pi+ 2040 Robots.

Verwendbarkeit:

This module can be used eg. for "B.Sc. Informatik". It can also be used for "M.Sc. Informatik", in "Masterbereich Vertiefende Informatik-Grundlagen" or in "Masterbereich Informatik der Systeme", and for "M.Sc. Digital Communications".

Literatur:

E.A. Lee, S.A. Seshia: Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017, Open Access

P. Marwedel: Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things, Springer-Verlag, 2021, Open Access

Verweise:

http://www.rtsys.informatik.uni-kiel.de/en/teaching/overview

Kommentar:

The primary script for class is the Lee/Seshia book (see Literature). This book is available as free electronic edition on-line, or it can be purchased in soft- or hard-cover (see \href{http://LeeSeshia.org}).