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

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

Voraussetzungen

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

Kap. Thema Termin Folien 1up 4up
Deckblatt 07.04.2014 1 PDF PDF
Organisation 19 PDF PDF
Einleitung (Update 08.04.14: Mit Mars Climate Orbiter zum Selbststudium) 29 PDF PDF
Grundlagen 14.04.2014 39 PDF PDF
Ostermontag 21.04.2014
Redundante Ausführung (Update 06.05.14: Zusammenfassung korrigiert) 28.04.2014 38 PDF PDF
Härtung von Daten und Kontrollfluss (Update 12.05.14: Tippfehler korrigiert) 05.05.2014
12.05.2014
38 PDF PDF
Fehlerinjektion 19.05.2014 30 PDF PDF
Reintegration fehlgeschlagener Knoten (Update 26.05.14: Tippfehler korrigiert) 26.05.2014 29 PDF PDF
Testen 02.06.2014 35 PDF PDF
Pfingstmontag 09.06.2014
Programmanalyse und -korrektheit 16.06.2014 40 PDF PDF
- Industrievortrag: Unterstützt der AUTOSAR Standard die Safety Aspekte der Software Entwicklung wirkungsvoll?, Felix Fastnacht (Geschäftsführer easycore) 23.06.2014 - - -
Abstrakte Interpretation (Update 31.07.14: Overlay-Fehler auf Folie 11 korrigiert) 30.06.2014 34 PDF PDF
Fallstudien (zum Selbststudium) 07.07.2014 44 PDF PDF
Zusammenfassung (Update 07.07.14: Redundante Ausführung korrigiert) 35 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. Peter Ulbrich, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat

Angaben
Vorlesung
2 SWS
für Gasthörer zugelassen, Sprache Deutsch
Zeit und Ort: Mo 14:15 - 15: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   Datenschutz Stand: 2014-07-31 18:09   PU