Ein verteiltes System besteht aus einer Menge unabhängiger Teilsysteme, die gemeinsam eine bestimmte Aufgabe erfüllen. Hierzu kommunizieren die Teilsysteme durch den Austausch von Nachrichten. Somit ergeben sich neben funktionalen auch nicht-funktionale Anforderungen an die zugrundeliegende Vernetzung der Teilsysteme. Insbesondere Robustheit, Zuverlässigkeit und Leistungsfähigkeit müssen oftmals formal nachgewiesen werden und stehen im Vordergrund dieses Seminars.
- Kursleiter/in: Steffen Bondorf
Semester: ST 2024