Software Fault Tolerance
During the development of software, it is infeasible to find all its bugs, which can reach as far back as the design phase. Therefore, it is reasonable to deal with the remaining software faults (bugs) during runtime to increase the overall reliability. This course will evaluate a selection of fault-tolerance mechanisms and analysis methods that can be applied statically or dynamically.
Outline
- Introduction
- Basic SFT Mechanisms
- Software Testing
- Symbolic Execution
- Bugs as Deviant Behavior
- Taint Analysis
- Microservices
- Fault Tolerance Patterns and Anti-Patterns
-
Chaos Monkey and other Netflix tools
Related Courses: In the field of software fault-tolerance we also offer a seminar that allows students to research on current topics and a computer lab to get hands-on experience for the mechanisms presented in the lecture.
Organization
| Schedule and Location |
Lecture: Wednesday, 4. DS (1:00pm - 2:30pm), APB E023 |
| People |
Lecturer: Christof Fetzer, André Martin |
| Language | English |
| Hours per week | 2/2/- SWS |
| Registration | not required |
| Course of Study | Distributed Systems Engineering | Informatik/ NES | Bachelor Informatik & Medieninformatik | Master & Diplom Informatik | Master Nanoelectronic Systems | |
| Module | INF-DSE-20-E-SFT Software Fault Tolerance |
INF-LE-Eul Lehrexport INF-NES-E-SFT |
INF-B-510 INF-B-520 INF-B-530 INF-B-540 MINF-04-FG-SAT Fachgebiet Systemarchitektur und -techniken |
INF-BAS3/4 (Basismodul Systemarchitektur) INF-PM-ANW Profil Anwendungsforschung in der Informatik |
NES-11 06 03 Software Fault-Tolerance |
Material for Lectures and Exercises
- Summer semester 2025
- Summer semester 2024
- Summer semester 2023
- Summer semester 2022
- Summer semester 2021
- Summer semester 2020
- Summer semester 2018
- Summer semester 2017
- Summer semester 2016
- Summer semester 2015
Please use the auditorium for discussing questions related to the course. The tutors will help with answers.
Disclaimer
We are not affiliated with any of the commercial web sites we might link on this pages to. The links are only for informational purposes. We suggest you always consider obtaining a copy from the library before performing a purchase.