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!
| Kapitel | Thema | Datum | Folien |
|---|---|---|---|
| 0 | EZS Zusammenfassung | 14.10.2024 | handout, animiert |
| 1 | Organisation (Vorlesung) | 14.10.2024 | handout, animiert |
| 2 | Einleitung | 14.10.2024 | handout, animiert |
| 3 | Grundlagen | 21.10.2024 | handout, animiert |
| 4 | Fehlertoleranz durch Redundanz | 28.10.2024 | handout, animiert |
| 5 | Codierung | 04.11.2024 | handout, animiert |
| 6 | Fehlerinjektion | 11.11.2024 | handout, animiert |
| 7 | Dynamisches Testen | 18.11.2024 | handout, animiert |
| 8 | Grundlagen der statischen Programmanalyse | 25.11.2024 | handout, animiert |
| 9 | Verifikation nicht-funktionaler Eigenschaften, Stack- und WCET-Analyse | 02.12.2024 | handout, animiert |
| 10 | Verifikation funktionaler Eigenschaften: Design-by-Contract | 09.12.2024 | handout, animiert |
| 11 | Fallstudie Reaktorschutzsystem | 13.01.2025 | handout, animiert |
| 12 | Industrievortrag Funktionale Sicherheit | 27.01.2025 | handout, animiert |
| 13 | Zusammenfassung & 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.