LS IV, AG RvS: Lehrveranstaltungen im SS 2009

Die vollständigen Beschreibungen der Veranstaltungen finden sich in den Modulhandbüchern.

Spezialvorlesung (Nr. 042405, 2 SWS)

Rechnernetzanwendungen (RNA)

Zeit und Ort:
Montag, 10:15-12:00 Uhr, Campus Süd, GB V, HS 113

Dozent:
Heiko Krumm

Inhalt:
Der Begriff 'Rechnernetzanwendungen' bezeichnet Anwendungen, die aus mehreren, auf verschiedenen Stationen eines Rechnernetzes lokalisierten Komponenten bestehen. Besondere Bedeutung haben Ortsverbund-Anwendungen, die auch im Fokus der Vorlesung liegen. Hier ist die örtliche Verteilung und Zuordnung der Komponenten direkt ein Teil des Anwendungsproblems.
Zur erleichterten Entwicklung werden Architektur-Paradigmen und Middleware-Plattformen vorgeschlagen. Paradigmen prägen den Entwurf. Middleware unterstützt die Implementierung mit Unterstützungsfunktionen.

Hörer:
Masterstudiengänge Informatik sowie Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen, z.B. Grundvorlesung 'Betriebssysteme, Rechnernetze und verteilte Systeme'

Literatur:
als Textbuch:
A. Tanenbaum, M. van Steen: Verteilte Systeme. Pearson Studium, 2003.
ergänzend:
U. Hammerschall: Verteilte Systeme und Anwendungen. Pearson Studium, 2005.

Es finden Übungen statt!

Spezialvorlesung (Nr. 042403, 2 SWS)

Verteilte Algorithmen I (VA 1)

Zeit und Ort:
Dienstag, 10:15-12:00 Uhr, Campus Süd, GB V, HS 113

Dozent:
Heiko Krumm

Inhalt:
Verteilte Algorithmen werden von zueinander entfernten Stationen zur Lösung eines gemeinsamen Problems ausgeführt. Die Stationen arbeiten nebenläufig und können nur mittels Telekommunikation kommunizieren. Deshalb ist Funktionsweise der Algorithmen in der Regel schwer zu verstehen. Beim Entwurf stellen sich gerne Entwurfsfehler ein. Die Vorlesung soll vor diesem Hintergrund die wesentlichen Funktionsprinzipien verteilter Algorithmen sowie praktikable Verfahren zur formalen funktionellen Spezifikation, Modellierung und Verifikation vermitteln.
Es werden folgende Themen behandelt:
- Prinzipien verteilter Algorithmen,
- Beispielalgorithmen,
- formale Modellierung verteilter Systeme als Zustandstransitionssysteme,
- Korrektheit, Safety und Liveness,
- Korrektheitsbeweise,
- Spezifikation mit TLA und modulare Spezifikationen.
Die Vorlesung soll im WS09/10 mit der Vorlesung "Verteilte Algorithmen II" fortgesetzt werden.

Hörer:
Masterstudiengänge Informatik sowie Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen, z.B. Grundvorlesung 'Betriebssysteme, Rechnernetze und verteilte Systeme'

Literatur:
Literaturhinweise werden im Verlauf der Vorlesung gegeben.
Siehe auch unter http://ls4-www.informatik.uni-dortmund.de/RVS/MA/hk/OrdnerVertAlgo/Litera.html
Die Folien zur Vorlesung werden zum Download im WWW bereit gestellt.

Es finden Übungen statt!

Übung zur Spezialvorlesung (2 SWS, Nr. 042404)

Übungen zu Verteilte Algorithmen I (Ü-VA 1)

Zeit und Ort:
Donnerstag, 10.15-12.00 Uhr, Campus Süd, GB V, SR 420

Dozent:
Heiko Krumm

Inhalt:
In den Übungen zur Spezialvorlesung Verteilte Algorithmen I werden Beispiele zu den Vorlesungsinhalten behandelt. Insbesondere soll geübt werden, wie verteilte Abläufe modelliert werden können, und wie man an Hand der Modelle formal funktionelle Eigenschaften nachweist.
Die Übungen werden zur Vertiefung der Vorlesung empfohlen.

Übung zur Spezialvorlesung (2 SWS, Nr. 042406)

Übungen zu Rechnernnetzanwendungen (Ü-RNA)

Zeit und Ort:
Donnerstag, 14.15-16.00 Uhr, Campus Süd, GB V, SR 420

Dozent:
Heiko Krumm

Inhalt:
Die Übungen zur Vorlesung Rechnernetzanwendungen behandeln praktische Beispiele und werden zur Vertiefung empfohlen.

Heiko Krumm, 21.1.2009, Informatik IV, TU Dortmund