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.
Das Seminar wird in der zweiten Semesterhälfte angeboten. Bitte Ankündigungen etc. im Moodle-Kurs beachten.
- Language of Instruction: German
- Supervisor: Prof. Dr.-Ing. Steffen Bondorf