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 | |
11 | Fallstudie Reaktorschutzsystem | 16.12.2024 | |
12 | Benchmarking | 13.01.2025 | |
13 | Zusammenfassung & Fragestunde | 20.01.2025 | |
X | Industrievortrag | 27.01.2025 | |
13 | Zusammenfassung & Fragestunde | 03.02.2025 |
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.