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 |
Announcement: Due to the CORONA Pandemic, the lectures will be provided as screencast in addition to the slides until the University re-opens again! Please visit this page regularily to find the screencasts, study material and announcements! 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 & Informationssystemtechnik | Medieninformatik | Bachelor Informatik & Medieninformatik | Master & Diplom Informatik | Master Nanoelectronic Systems |
---|---|---|---|---|---|---|
Module | DSE-E8 Software Fault Tolerance | INF-04-FG-AVS Architektur verteilter Systeme | MINF-04-FG-SAT Systemarchitektur und -techniken | Vertiefung INF-B-510 or INF-B-520 and INF-B-530 or INF-B-540 |
INF-BAS3/4 (Basismodul Systemarchitektur) or INF-VERT3/4 (Vertiefungsmodul Systemarchitektur) |
NES-11 06 03 Software Fault-Tolerance |
Material for Lectures and Exercises
- Summer semester 2020
- Summer semester 2018
- Summer semester 2017
- Summer semester 2016
- Summer semester 2015
- Summer semester 2014
- Summer semester 2013
- Summer semester 2012
- Summer semester 2011
- Summer semester 2010
- Summer semester 2009
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.