PODS

Announcements:

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, two assignments will be given to the students. They will be presented in the exercises but can be solved at home. The assignments 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 assignments successfully (i.e., handed in on time and solved correctly): it is sufficient to solve 80% of one assignment to take part in the final exam.


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.

Starting WS24, this course is replaced by Confidential Computing

Material for Past Lectures and Exercises

Disclaimer

We are not affiliated with any of the commercial websites we might link on these pages. The links are only for informational purposes. We suggest you always consider obtaining a copy from the library before performing a purchase.

About this page

Christof Fetzer
Last modified: Oct 12, 2024