---

Spezialvorlesung (2 SWS, Nr. 042773)

Rechnernetzanwendungen (RNA)

Zeit und Ort:

Mittowch, 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:

Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:

Vordiplom, Stammvorlesung 'Rechnernetze und verteilte Systeme' bzw. 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.

---

Spezialvorlesung (Nr. 042155, 2 SWS)

Verteilte Algorithmen I  (VA1)

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 SS08 mit der Vorlesung "Verteilte Algorithmen II" fortgesetzt werden.

Hörer:

Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:

Vordiplom, Vorlesung 'Rechnernetze und verteilte Systeme'

Literatur:

Literaturhinweise werden im Verlauf der Vorlesung gegeben, Folien zur Vorlesung sollen vorlesungsbegleitend zum Download im WWW bereit gestellt werden. Es finden Übungen statt!

Es gibt auch erste Anfänge eines WWW-Skripts:

 http://ls4-www.cs.uni-dortmund.de/RVS/MA/hk/OrdnerVertAlgo/VertAlgo.html

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

Übungen zu Verteilte Algorithmen I (VA 1)

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.

---

Projektgruppe (Nr. 046490, 8 SWS)

PG 514:
Fehlertoleranz in DPWS-basierten Umgebungen

Dozenten:

Heiko Krumm, Andre Pohl

Hörer:

Die Projektgruppe findet in den beiden Semestern SS07 und WS07/08 statt.
Die Teilnehmer liegen bereits fest.