htw saar
Zurück zur Hauptseite

Version des Moduls auswählen:

Verteilte Algorithmen und Anwendungen

Modulbezeichnung: Verteilte Algorithmen und Anwendungen
Studiengang: Praktische Informatik, Master, ASPO 01.10.2017
Code: PIM-VAA
SWS/Lehrform: 1V+2P+1S (4 Semesterwochenstunden)
ECTS-Punkte: 6
Studiensemester: 1
Pflichtfach: nein
Arbeitssprache:
Deutsch
Prüfungsart:
Zuordnung zum Curriculum:
KIM-VAA Kommunikationsinformatik, Master, ASPO 01.10.2017, 1. Semester, Pflichtfach
PIM-VAA Praktische Informatik, Master, ASPO 01.10.2017, 1. Semester, Wahlpflichtfach, informatikspezifisch
Arbeitsaufwand:
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Stunden. Der Gesamtumfang des Moduls beträgt bei 6 Creditpoints 180 Stunden. Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 120 Stunden zur Verfügung.
Empfohlene Voraussetzungen (Module):
Keine.
Als Vorkenntnis empfohlen für Module:
Modulverantwortung:
Prof. Dr. Markus Esch
Dozent: Prof. Dr. Markus Esch

[letzte Änderung 29.06.2017]
Lernziele:
Nach erfolgreicher Belegung dieses Moduls sind die Studierenden in der Lage die grundlegenden Eigenschaften verteilter Algorithmen und Anwendungen zu benennen und gängige Modelle zur Beschreibung verteilter Systeme zu umschreiben. Sie können außerdem die durch den Verteilungsaspekt implizierten Herausforderungen und Anforderungen in der Entwicklung verteilter Algorithmen erklären.
 
Die Studierenden können wesentliche Aspekte verteilter Algorithmen und Anwendungen, wie etwa kausale Abhängigkeit, logische Zeit, Synchronisation etc., beurteilen und implementieren. Sie sind in der Lage das in der Vorlesung vermittelte theoretische Wissen zur Lösung konkreter Probleme zu transferieren und anzuwenden. Des Weiteren können die Studierenden einfache Beweise zur Korrektheit verteilter Algorithmen führen.

[letzte Änderung 22.09.2017]
Inhalt:
- Broadcast und Propagation mit Feedback
- kausale Abhängigkeit
- Korrektheitseigenschaften safety und liveness
- Modelle für logische Zeit
- Terminierung
- konsistenter Schnappschuss
- Deadlock, Erkennung und Vermeidung
- wechselseitiger Ausschluss
- Diskussion relevanter Übungsbeiträge
 

[letzte Änderung 10.11.2016]
Lehrmethoden/Medien:
Vorlesungsfolien, kommentierte Vorlesungsfolien als Skript, vorlesungsbegleitende praktische Übungen, Seminaristisches Erarbeiten aktueller Forschungsthemen

[letzte Änderung 22.09.2017]
Literatur:
A. S. TANNENBAUM, M. v. STEEN: Distributed Systems. Principles and Paradigms, CreateSpace Independent Publishing Platform, 2nd Edition, 2016
     
G. COULOURIS, J. DOLLIMORE, T. KINDBERG: Distributed Systems: Concepts and Design, 5th Edition, 2011
  
G. TEL: Introduction to distributed algorithms, Cambridge University Press; 2nd Edition, 2000


[letzte Änderung 22.09.2017]
Modul angeboten in Semester:
WS 2017/18 (voraussichtlich)
[Mon Sep 25 04:30:41 CEST 2017, CKEY=kvaua, BKEY=pim2, CID=PIM-VAA, LANGUAGE=de, DATE=25.09.2017]