Modulcode:	Inf-EmSysDes
Englische Bezeichnung:	Embedded Real-Time Systems (4 ECTS)
Modulverantwortliche(r):	Prof. Dr. Reinhard von Hanxleden
Turnus:	unregelmäßig (SS11 SS13 WS15/16 WS17/18)
Präsenzzeiten:	2V 1Ü
ECTS:	4
Workload:	120 Std.
Dauer:	ein Semester
Modulkategorien:	INF-DigCom (Export)
Lehrsprache:	Englisch
Voraussetzungen:	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 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 KIELER, practical experiments with Lego Mindstorms.

Verwendbarkeit:

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

Literatur:

E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach, http://LeeSeshia.org, 2011.

Verweise:

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

Kommentar:

• The lectures and exercises will be held as 4 SWS Vorlesung + 2 SWS Exercises during the first half of the semester.
• Most written materials will be English, the spoken language will be German.
• The primary text for the class is Lee/Seshia ($\rightarrow$ 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}).