Modellgestützter Entwurf verteilter Systeme

Blockseminar, Hauptstudium, im Sommersemester 2005

Veranstaltungsnummer: 044554

Verteilte Systeme sehen sich in der Praxis hohen Anforderungen bzgl Funktionsfähigkeit, Performanz und Zuverlässigkeit ausgesetzt. Ein modellgestütztes Vorgehen während des Entwurfs, Betriebs und der Weiterentwicklung von verteilten Systemen erlaubt die Analyse von Ist-Situationen ebenso wie die Prognose anhand von `What-if' Szenarien. Je nach Ziel einer Analyse werden unterschiedliche Modellierungsnotationen und Analyseverfahren eingesetzt. In diesem Seminar sollen aktuelle Ansätze im modellgestützten Entwurf von verteilten Systemen aufgearbeitet werden.

Literaturhinweise werden bei der Themenvergabe gegeben.

Blockseminar am Ende der Vorlesungszeit

Zeitplan:

Mitte April bis Mitte Mai: Themenvergabe (Di, 14.00-16.00 Uhr, Zimmer 403, GB V, Campus Süd), erstmalig 12.4.2005
Mitte April bis Anfang Juli: Themenbearbeitung unter Rücksprache mit dem Veranstalter
Ende der Vorlesungszeit: 1 bis 2-tägiges Kompaktseminar

Aufgaben der Teilnehmer:

Einarbeitung in einen aktuellen Ansatz, Literatursuche und Auswertung
Schriftliche Ausarbeitung zum gewählten Thema
Vortrag und Teilnahme am Kompaktseminar

Die inhaltliche Gestaltung sollte sich an den folgenden Fragen orientieren:

Wie funktioniert das reale, modellierte System?
Welche Aspekte des Systems werden in der Modellierung berücksichtigt und warum?
Wie wird das Modell formal notiert? Welche Eigenschaften hat die gewählte Notation?
Mit welcher Methodik, Technik, Algorithmen werden Eigenschaften bestimmt? Ist der Einsatz der Technik für derartige Modelle und Fragestellungen ülich?
Welche Ergebnisse werden erzielt? Lassen sich die Ergebnisse nachvollziehen?