Distributed Systems

SaToSS home

• Theoretical Computer Science 1
• Distributed Systems
• Formal Methods
• Game Theory
• Information Security Basics
• Introduction to IT Security
• Network Security
• Security Protocols
• Security Modeling

Moodle

Please consult the FSTC moodle pages for dynamic information concerning this course.

Instructors

• Prof. Dr. Sjouke Mauw
• Dr. Jun Pang
• Xihui Chen

Lectures

Lectures take place from 11:30 to 13:00 on Thursdays (from 30/09/2010 to 06/01/2011) in room A17 on the Kirchberg campus.

Content

• Introduction to distributed systems
• Models for distributed systems including the treatment of time
• Correctness in distributed algorithms
• Important paradigms in distributed systems
  • Mutual exclusion
  • Self-stabilizing systems
  • Distributed snapshot
  • Termination detection
  • Leader election
  • Consensus in distributed systems
  • Fault tolerance and related problems

Objectives

The course aims to provide an overview of the area and in particular problems in design and implementation of dependable services in distributed systems.

Reading material

• Sukumar Ghosh, Distributed Systems: An Algorithmic Approach, Chapman & Hall/CRC, 2006
• Gerard Tel, Introduction to Distributed Algorithms (2nd edition), Cambridge University Press, 2000
• ACM Symposium on Principles of Distributed Computing

Evaluation

A written examination of 20 points.