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 2013  >  VEZS  >  Vorlesung

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

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 15.04.2013 PDF -
Organisation 20 PDF PDF
Einleitung 18 PDF PDF
Grundlagen 22.04.2013 38 PDF PDF
Können wir unseren Autos noch vertrauen? 29.04.2013 73 PDF PDF
Testen 06.05.2013 36 PDF PDF
Abstrakte Interpretation 13.05.2013 41 PDF PDF
Berg-Kerwa
WP-Kalkül 27.05.2013 40 PDF PDF
Redundante Ausführung 03.06.2013 39 PDF PDF
Härtung von Daten und Kontrollfluss 10.06.2013 35 PDF PDF
Reintegration fehlgeschlagener Knoten 17.06.2013 32 PDF PDF
Fehlerinjektion 24.06.2013 39 PDF PDF
Fallstudien 01.07.2013 45 PDF PDF
Aktuelle Forschungsarbeiten 08.07.2013 - - -
Zusammenfassung und Ausblick 15.07.2013 31 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
für Gasthörer zugelassen, Sprache Deutsch
Zeit und Ort: Mo 12:15 - 13: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-MA-FG12 1-3
WPF ME-BA-MG6 5-6
WPF ME-MA-MG6 1-3
WPF WING-MA 1-3

  Impressum Stand: 2013-07-15 10:16   scheler