Friedrich-Alexander-Universität UnivisSuche FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
VEZS
 
  Vorlesungsüberblick
  Schein, Prüfung
Vorlesung

  Voraussetzungen
  Vorlesungsfolien
  Literatur
  UnivIS-Informationen

Übung
Department Informatik  >  Informatik 4  >  Lehre  >  SS 2012  >  VEZS  >  Vorlesung

Verlässliche Echtzeitsysteme - Vorlesungsüberblick (SS 2012)

Voraussetzungen

Betriebssysteme und/oder Echtzeitsysteme

Neben fundierten Grundkenntnissen im Bereich Betriebssysteme und Echtzeitsysteme sind Programmierkenntnisse in den Programmiersprachen C/C++ erforderlich. Darüber hinaus ist ein gewisses Durchhaltevermögen und Interesse an system- und hardwarenaher Programmierung für die erfolgreiche Durchführung der verschiedenen Experimente hilfreich.

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 by Fabian Scheler, University of Erlangen-Nürnberg, Germany. Use without prior written permission of the authors is not permitted!

Kap. Thema Termin Folien 1up 4up
Deckblatt 17.04.2012 PDF -
Organisation 20 PDF PDF
Einleitung 30 PDF PDF
Grundlagen 24.04.2012 38 PDF PDF
Industrievortrag: "Können wir unseren Autos noch vertrauen?", Bernhard Sechser, Method Park Software AG 30.04.2012 69 PDF PDF
Testen 08.05.2012 36 PDF PDF
entfällt 16.05.2012 PDF PDF
Abstrakte Interpretation 22.05.2012 PDF PDF
Berg-Kerwa
WP-Kalkül 05.06.2012 40 PDF PDF
Redundante Ausführung 12.06.2012 39 PDF PDF
Härtung von Daten und Kontrollfluss 19.06.2012 35 PDF PDF
Reintegration fehlgeschlagener Knoten 26.06.2012 32 PDF PDF
Fehlerinjektion 03.07.2012 39 PDF PDF
Fallstudien 10.07.2012 46 PDF PDF
Zusammenfassung und Ausblick 17.07.2012 50 PDF PDF

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
Dr.-Ing. Fabian Scheler, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat

Angaben
Vorlesung
2 SWS, Sprache Deutsch
Zeit und Ort: Di 16:15 - 17:45, 01.255-128

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 MB-BA-FG12 4-6
WPF MB-MA-FG12 1-3
WPF MB-DH-FG10 8
WPF ME-BA-MG15 5-6
WPF ME-MA-MG15 1-3
WPF WING-BA-MB-ING-MG8 4-6
WPF WING-BA-IKS-ING-MG7 4-6
WPF WING-MA 1-3

  Impressum   Datenschutz Stand: 2012-08-06 08:13   scheler