Echtzeitsysteme
Real-Time Systems
Modul IN2060
Diese Modulbeschreibung enthält neben den eigentlichen Beschreibungen der Inhalte, Lernergebnisse, Lehr- und Lernmethoden und Prüfungsformen auch Verweise auf die aktuellen Lehrveranstaltungen und Termine für die Modulprüfung in den jeweiligen Abschnitten.
Modulversion vom WS 2011/2
Von dieser Modulbeschreibung gibt es historische Versionen. Eine Modulbeschreibung ist immer so lange gültig, bis sie von einer neuen abgelöst wird.
| verfügbare Modulversionen | |
|---|---|
| SS 2015 | WS 2011/2 |
Basisdaten
IN2060 ist ein Semestermodul in Deutsch auf Bachelor-Niveau und Master-Niveau das im Wintersemester angeboten wird.
Das Modul ist Bestandteil der folgenden Kataloge in den Studienangeboten der Physik.
- Allgemeiner Katalog der nichtphysikalischen Wahlfächer
| Gesamtaufwand | Präsenzveranstaltungen | Umfang (ECTS) |
|---|---|---|
| 180 h | 75 h | 6 CP |
Inhalte, Lernergebnisse und Voraussetzungen
Inhalt
Die Vorlesung behandelt die speziellen Methoden, Lösungen und Probleme aus dem Bereich der Echtzeitsysteme. Der Inhalt umfasst die Motivation und Ausarbeitung der Unterschiede zu Nicht-Echtzeitsystemen, Modellierung von Echtzeitsystemen, Nebenläufigkeit, Scheduling, spezielle Betriebssysteme und Programmiersprachen, Uhren, echtzeitfähige Kommunikation, sowie eine Einführung in fehlertolerante Systeme.
Lernergebnisse
Nach der Teilnahme an den Modulveranstaltungen sind die Studenten in der Lage die speziellen Anforderungen von Echtzeitsystemen zu analysieren. Die Studenten können aus einer Vielzahl von Lösungen für die relevanten Aspekte der Echtzeitsysteme (Modellierungskonzepte, Schedulingalgorithmen, Betriebssysteme, Programmiersprachen, etc.) die passenden Lösungen auszuwählen und umsetzen. Sie verstehen die typischen Probleme der nebenläufigen Programmierung und kennen die verschiedenen Mechanismen zur Problemlösung.
Voraussetzungen
keine
Lehrveranstaltungen, Lern- und Lehrmethoden und Literaturhinweise
Lehrveranstaltungen und Termine
| Art | SWS | Titel | Dozent(en) | Termine |
|---|---|---|---|---|
| VO | 3 | Real-Time Systems (IN2060) |
Lenz, A.
Leitung/Koordination: Knoll, A. |
Do, 16:00–19:00, MW 0001 |
Lern- und Lehrmethoden
Vorlesung, Übung, Aufgaben zum Selbststudium
Medienformen
Folien, Übungsblätter
Literatur
- Hermann Kopetz: Real-Time Systems, 1997
- Jane W. S. Liu: Real-Time Systems, 2000
- Alan Burns, Andy Wellings: Real-Time Systems and Programming Languages, 2001
- Maurice Herlihy, Nir Shavit: The Art of Multiprocessor Programming, 2008
- Jane W. S. Liu: Real-Time Systems, 2000
- Alan Burns, Andy Wellings: Real-Time Systems and Programming Languages, 2001
- Maurice Herlihy, Nir Shavit: The Art of Multiprocessor Programming, 2008
Modulprüfung
Beschreibung der Prüfungs- und Studienleistungen
Die Prüfungsleistung wird in Form einer Klausur erbracht. In dieser soll nachgewiesen werden, dass in begrenzter Zeit ein Problem erkannt wird und Wege zu einer Lösung gefunden werden können.
Wiederholbarkeit
Eine Wiederholungsmöglichkeit wird am Semesterende angeboten.
