SUBJECT

Design of Distributed Systems

lecture + practical

master

Faculty of Informatics

5

Semester 3

Autumn semester

Students will be able to express and verify the properties of the distributed programs using

formal methods, apply different ways to create advanced compositions of simple programs, and solutions for interesting and difficult problems in a distributed way.

Dining/drinking philosophers, formal specification of distributed problems, properties of distributed systems, safety and progress properties of distributed programs, verification of safety critical properties, program compositions from components with proven properties, computing the value of an associative function, message channels, pipelined networks programming exercises where the students apply the learned methods in the practice.

• Misra, J.: A discipline of multiprogramming: programming theory for distributed applications (Springer, 2001)
• K. Mani Chandy and Jayadev Misra: Parallel Program Design: A Foundation (Addison-Wesley, Reading, MA, Reading, Mass., 1988)
• Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Addison-Wesley 2002)
• Schmidt, D., C. et al.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects (Wiley & Sons, 2000)