PODS
For safety critical systems, the risk of software failures must be negligible. In this course we will present design principles for building highly dependable systems, i.e., systems that are available, reliable and secure. The scope of dependability ranges from simple hardware components up to complex distributed systems.
Throughout the semester, one assignment will be given to the students. It will be presented in the exercises but can be solved at home. The assignment must be handed in at a strict deadline, which will be announced when the assignment is presented. A student may only take part in the final exam if s/he completed the assignment successfully (i.e., handed in on time and solved correctly).
Outline
- Hardware and Software Reliability
- Hardware Fault-Tolerant Systems
- Correct Execution
- Control Flow Checking
- Data Flow Checking
- Software Encoded Processing
- Timely Execution
- Time-Triggered Architecture
- Timely Execution: Asynchronous Distributed Systems
- Byzantine Failures
Related Courses: In the field of dependable systems we also offer a seminar that allows students to research on current topics.
Organization
| Schedule and Location |
Lecture
Excercise
|
| People |
Lecturer: Christof Fetzer |
| Q&A | Please ask questions in the PODS forum prior to contacting staff! |
| Language | English |
| Hours per week | 2/2/- SWS |
| Course Registration |
NES: require to register in SELMA. |
| Final exam |
DSE and NES students take a written exam. Students of other study paths have an oral exam as part of their module exam. Registration for the exam is through your corresponding examination office. |
| Course of Study | Distributed Systems Engineering | Informatik & Informationssystemtechnik | Medieninformatik | Master & Diplom Informatik | Master Nanoelectronic Systems |
|---|---|---|---|---|---|
| Module | DSE-E11 INF-DSE-20-E-PODS Principles of Dependable Systems |
INF-04-FG-AVS Architektur verteilter Systeme | MINF-04-FG-SAT Systemarchitektur und -techniken | INF-BAS4 (Basismodul Systemarchitektur) or INF-VERT4 (Vertiefungsmodul Systemarchitektur) | NES-11 06 02 Principles of Dependable Systems |
Material for Lectures and Exercises
- Winter Semester 2021
- Winter Semester 2020
- Winter Semester 2019
- Winter semester 2018
- Winter Semester 2017
- Winter Semester 2016
- Winter semester 2015
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.