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: | Inf-Math-A Inf-ProgOO |
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.
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.
Mathematical knowledge (eg as in "Mathematik A"), programming experience, firm knowledge in C and Java.
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.
Lectures, weekly exercises, software development with open-source modeling tools such as Ptolemy or Lingua Franca, practical experiments with Polulu 3pi+ 2040 Robots.
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".
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
http://www.rtsys.informatik.uni-kiel.de/en/teaching/overview
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}).