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).

NEWS

Exam review: The students who wrote the PODS exam in February 2020 and wish to review their results will be provided with such an opportunity. If you've passed the exam or if it's your first exam attempt, then you will get the opportunity after the quarantine is over and the university is open again (we will announce the date and time here, on the course website). Otherwise, if you've failed the exam and it's not your first attempt, then contact us: oleksii.oleksenko@tu-dresden.de

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 Wednesday, 2th DP (9:20-10:50) Location: APB/E008 Excercise Thursday, 4th DP (13:00-14:30) Location: APB/E008 No exercise in the first week. The first exercise: 24.10.19.
People	Lecturer: Christof Fetzer Tutor: Franz Gregor Assignment: Bohdan Trach Exam: Oleksii Oleksenko
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 HISQIS. Other study types: not required
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-E12 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

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.