• Navigation überspringen
  • Zur Navigation
  • Zum Seitenende
Organisationsmenü öffnen Organisationsmenü schließen
Friedrich-Alexander-Universität Lehrstuhl für Informatik 4 (Systemsoftware)
  • FAUZur zentralen FAU Website
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  3. Department Informatik
Suche öffnen
  • English
  • Campo
  • StudOn
  • FAUdir
  • Stellenangebote
  • Lageplan
  • Hilfe im Notfall
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  3. Department Informatik
Friedrich-Alexander-Universität Lehrstuhl für Informatik 4 (Systemsoftware)
Menu Menu schließen
  • Lehrstuhl
    • Team
    • Aktuelles
    • Kontakt und Anfahrt
    • Leitbild
    • 50-jähriges Jubiläum
    Portal Lehrstuhl
  • Forschung
    • Forschungsbereiche
      • Betriebssysteme
      • Confidential Computing
      • Embedded Systems Software
      • Verteilte Systeme
    • Projekte
      • AIMBOS
      • BALu
      • BFT2Chain
      • DOSS
      • Mirador
      • NEON
      • PAVE
      • ResPECT
      • Watwa
    • Projektkampagnen
      • maRE
    • Seminar
      • Systemsoftware
    Portal Forschung
  • Publikationen
  • Lehre
    • Sommersemester 2025
      • Applied Software Architecture
      • Ausgewählte Kapitel der Systemsoftware
      • Betriebssystemtechnik
      • Projekt angewandte Systemsoftwaretechnik
      • System-Level Programming
      • Systemnahe Programmierung in C
      • Systemprogrammierung 1
      • Verteilte Systeme
    • Wintersemester 2024/25
      • Betriebssysteme
      • Middleware – Cloud Computing
      • Systemprogrammierung 2
      • Verlässliche Echtzeitsysteme
      • Virtuelle Maschinen
      • Web-basierte Systeme
    Portal Lehre
  • Examensarbeiten
  1. Startseite
  2. Lehre
  3. Wintersemester 2024/25
  4. Verlässliche Echtzeitsysteme
  5. Vorlesung

Vorlesung

Bereichsnavigation: Lehre
  • Verlässliche Echtzeitsysteme
    • Übung
      • Gruppenanmeldung
      • Folien
      • Aufgaben
    • Vorlesung
      • Folien
    • Wochenplan
    • Terminübersicht
    • Kontakt

Vorlesung

Gliederung und Vorlesungsfolien

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

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

KapitelThemaDatumFolien
0EZS Zusammenfassung 14.10.​2024 handout, animiert
1Organisation (Vorlesung) 14.10.​2024 handout, animiert
2Einleitung 14.10.​2024 handout, animiert
3Grundlagen 21.10.​2024 handout, animiert
4Fehlertoleranz durch Redundanz 28.10.​2024 handout, animiert
5Codierung 04.11.​2024 handout, animiert
6Fehlerinjektion 11.11.​2024 handout, animiert
7Dynamisches Testen 18.11.​2024 handout, animiert
8Grundlagen der statischen Programmanalyse 25.11.​2024 handout, animiert
9Verifikation nicht-funktionaler Eigenschaften, Stack- und WCET-Analyse 02.12.​2024 handout, animiert
10Verifikation funktionaler Eigenschaften: Design-by-Contract 09.12.​2024 handout, animiert
11Fallstudie Reaktorschutzsystem 13.01.​2025 handout, animiert
12Industrievortrag Funktionale Sicherheit 27.01.​2025 handout, animiert
13Zusammenfassung & Fragestunde 03.02.​2025 handout, animiert

All slides are copyrighted ©2005-14 by Wolfgang Schröder-Preikschat, ©2007-14 by Fabian Scheler, ©2014-19 by Peter Ulbrich, FAU Erlangen-Nürnberg, Germany, ©2022 by Peter Wägemann, FAU Erlangen-Nürnberg, Germany. Use without prior written permission of the authors is not permitted!


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.

Friedrich-Alexander-Universität
Erlangen-Nürnberg

Schlossplatz 4
91054 Erlangen
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Facebook
  • RSS Feed
  • Xing
Nach oben