Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

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.

Gliederung und Vorlesungsfolien

Die Vorlesungsfolien werden im PDF-Format als animierte Folien und als Handout im Format DIN A4 angeboten.

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, Videos und Screencasts liegen noch nicht vollständig vor und werden jeweils rechtzeitig zum Start der Bearbeitungswoche bereitgestellt.


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

Hinweis: Die hier verlinkten Videos sind aus den Netzen der Universität sowie per VPN ohne Passwort zugänglich. Teilnehmer der Veranstaltung erhalten Zugangsdaten zur Nutzung ohne VPN in der initialen Anmeldebestätigung per Email.

Der Großteil der Videos wurde im Sommersemester 2020 aufgezeichnet. Sofern nötig, wurden diese neu eingespielt. Sollten sich dennoch veraltete Daten oder ins SS20 verweisende Links in den Videos finden, bitte entsprechend durch WS20 ersetzen (und uns mitteilen).

Kapitel Start Thema
1 KW45
Kapitel Folien Video Screencast
0. EZS Grundlagen (in 10 Minuten)
1. Organisatorisches
2 KW45
Kapitel Folien Video Screencast
2. Einleitung
3 KW46
Kapitel Folien Video Screencast
3. Grundlagen
Fehlertoleranz
4 KW47
Kapitel Folien Video Screencast
4. Fehlertoleranz durch Redundanz
5 KW48
Kapitel Folien Video Screencast
5. Codierung
6 KW49
Kapitel Folien Video Screencast
6. Fehlerinjektion
Fehlervermeidung
7 KW50
Kapitel Folien Video Screencast
7. Dynamisches Testen
8 KW51
Kapitel Folien Video Screencast
8. Grundlagen der statischen Programmanalyse
9 KW52
Kapitel Folien Video Screencast
9. Verifikation nicht-funktionaler Eigenschaften
10 KW01
Kapitel Folien Video Screencast
10. Verifikation funktionaler Eigenschaften: Design-by-Contract
Abschluss
X KW02
Kapitel Folien Video Screencast
Industrievortrag: TBD
11 KW03
Kapitel Folien Video Screencast
11. Fallstudie Reaktorschutzsystem
12 KW04
Kapitel Folien Video Screencast
12. Zusammenfassung

Fragestunde

Die von uns jeweils am Anfang der Woche bereitgestellten Materialen (Vorlesung und Übung) werden eigenverantwortlich bearbeitet. Die ursprüngliche Präsenzveranstaltung (Vorlesung) wird in der virtuellen Auslegung zu einer Fragestunde beziehungsweise zum gemeinsamen Erarbeiten von praktischen Lehrinhalten genutzt. Das aktuelle Thema der Fragestunde richtet sich nach dem Fortschritt in den bereitgestellten Materialien, d.h. also stets zum aktuellen Kapitel der Vorlesung und zu den noch offenen Übungsaufgaben. Zudem werden die Lernziele der Übungsaufgaben nach Abgabe diskutiert.

Die Fragestunde der Lehrveranstaltung erfolgt über Zoom, den Link hierzu geht Ihnen nach Anmeldeschluss per Email zu. Informationen zur Installation und Nutzung finden Sie auf den Seiten des RRZE, dort finden Sie ferner Informationen zu Sicherheit & Datenschutz. Sollten Sie sich für die Nutzung mittels Browser entscheiden, so haben unsere eigenen initiale Tests gezeigt, dass die Nutzung mittels chromium-basierter Browser am zuverlässigsten funktionierte.
Sie könne bereits vorab die korrekte Funktionsweise Ihres Systems über ein Zoom-Testmeeting überprüfen. Wir raten Ihnen dringend, von dieser Möglichkeit Gebrauch zu machen.

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)

Dozent/in
Dr.-Ing. Peter Wägemann

Angaben
Vorlesung
Online
2 SWS, Sprache Deutsch, Die Veranstaltung findet statt im rein virtuellen Betrieb *statt*.
Asynchrone Lehrveranstaltung, Video-Aufzeichnungen asynchron + Besprechung zur Vorlesung in Video-Meeting synchron
Zeit: Mo 12:15 - 13:45, Zoom-Meeting

Studienfächer / Studienrichtungen
WPF WING-MA 1-3
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 ICT-MA-MPS 1-4
WPF ICT-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-ET-IT 1-3

Voraussetzungen / Organisatorisches
In StudOn anmelden.
Die Veranstaltung findet ab 6 Teilnehmern statt. Die Teilnehmerzahl ist aus technischen Gründen auf 16 Teilnehmer begrenzt.