Verlässliche Echtzeitsysteme

• Vorlesung
• Folien
• Übungen
• Folien
• Aufgaben
• Evaluation
• Terminübersicht
• Kontakt

Verlässliche Echtzeitsysteme - Vorlesung

Voraussetzungen

Der Besuch der Veranstaltung Echtzeitsysteme (EZS) ist keine notwendige Voraussetzung für den Besuch und das Verständnis dieser Vorlesung. Für die Teilnahme an der Veranstaltung sind Kenntnisse in der Programmiersprache C, z.B. aus einer der Veranstaltungen SPiC, GSPiC oder SP hilfreich. Darüber hinaus ist ein gewisses Durchhaltevermögen und Interesse an system- und hardwarenaher Programmierung gefragt.

Evaluationsergebnis SS 2018

• LQI: 1,48
• Evaluationsergebniss:

Gliederung und Vorlesungsfolien

Die Vorlesungsfolien werden im PDF-Format mit vier DIN A6 Seiten pro Druckblatt sowie im Format DIN A4 in PDF-Format angeboten. Das jeweils aktuelle Skript wird in der Vorlesung (A6, SW) ausgegeben.

Die Folien bilden den roten Faden durch die Vorlesung. Sie können (und sollen) eine ergänzende Vorlesungsmitschrift oder die ausführliche Erläuterung der Themen in der Fachliteratur nicht ersetzen!

Die Folien liegen noch nicht vollständig vor - wir werden die Teile jeweils zur Verfügung stellen, sobald sie fertig werden.

---

All slides are copyrighted © 2012-13 by Fabian Scheler and © 2014-18 by Peter Ulbrich University of Erlangen-Nürnberg, Germany. Use without prior written permission of the authors is not permitted!

Kapitel	Thema	Datum	Folien
1	Organisation	12.04.2018	1x1, 2x2, animiert
2	Einleitung		1x1, 2x2, animiert
3	Grundlagen	19.04.2018	1x1, 2x2, animiert
-	Fehlertoleranz
4	Fehlertoleranz durch Redundanz	26.04.2018	1x1, 2x2, animiert
5	Codierung	03.05.2018	1x1, 2x2, animiert
6	Fehlerinjektion	17.05.2018	1x1, 2x2, animiert
-	Fehlervermeidung
7	Dynamisches Testen	24.05.2018	1x1, 2x2, animiert
8	Grundlagen der statischen Programmanalyse	07.06.2018	1x1, 2x2, animiert
9	Verifikation nicht-funktionaler Eigenschaften: Stack- und WCET-Analyse	14.06.2018	1x1, 2x2, animiert
10	Verifikation funktionaler Eigenschaften: Design-by-Contract	21.06.2018	1x1, 2x2, animiert
11	Fallstudie Reaktorschutzsystem	28.06.2018	1x1, 2x2, animiert
X	Industrievortrag	05.07.2018	1x1, 2x2, animiert
12	Zusammenfassung & Fragestunde	12.07.2018	1x1, 2x2, animiert

Literatur

Zur Begleitung und Vertiefung des Vorlesungsinhalts kann auf folgende Fachbücher zurückgegriffen werden:

• Michael Lyu, editor. Software Fault Tolerance, volume 3 of Trends in Software. John Wiley & Sons, Inc., 1995. http://www.cse.cuhk.edu.hk/~lyu/book/sft/.
• Shubu Mukherjee. Architecture Design for Soft Errors. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008.
• Olga Goloubeva, Maurizia Rebaudengo, Matteo Sonza Reorda, and Massimo Violante. Software-Implemented Hardware Fault Tolerance. Springer-Verlag, 233 Spring Street, New York, NY 10013, USA, 2006.

Hierbei ist aber zu beachten, dass sich der Inhalt der Vorlesung nicht streng an einem dieser Bücher orientiert und sich keineswegs auf diese Bücher beschränkt. Die gezielte Aufarbeitung der einzelnen Vorlesungskapitel kann anhand der Literaturhinweise am Ende der jeweiligen Foliensätze erfolgen. Grundlegende Erläuterungen zu den Fachbegriffen und Grundtechniken fehlertoleranter Systeme sollten darüber hinaus in jedem Fachbuch vermittelt werden, das sich mit diesem Themengebiet befasst.

UnivIS-Informationen zur Vorlesung

Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme (EZS2)

Dozentinnen/Dozenten

Peter Wägemann, M. Sc., Dr.-Ing. Peter Ulbrich

Angaben

Vorlesung
2 SWS, Sprache Deutsch
Zeit und Ort: Do 14:15 - 15:45, 0.031-113

Studienfächer / Studienrichtungen

WPF INF-BA-V-VSB 6
WPF CE-MA-INF ab 2
WPF INF-MA ab 2
WPF IuK-BA 6
WPF IuK-MA-ES-INF ab 2
WPF IuK-MA-MMS 1-4
WPF IuK-MA-ES 1-4
WPF MB-MA-FG12 1-3
WPF ME-BA-MG6 5-6
WPF ME-MA-MG6 1-3
WPF WING-MA 1-3