Vorlesung Leistungsmodellierung

Dozent/in: Prof. Dr.-Ing. Helena Szczerbicka
Übungsleiter: Dipl.-Inform. Rainer Barton
Raum: 1101-F435 (Stahlbausaal)

Beschreibung

Inhalt der Vorlesung ist die Theorie und Praxis von Methoden zur Untersuchung der Leistung von Rechensystemen oder anderen dynamischen Systemen (wie Verkehrssysteme, Produktionssysteme oder Logistische Systeme), in denen whrend des Betriebes ein Wettbewerb um knappe Resourcen stattfindet. Dies umfaßt sowohl die Leistungsmodellierung als auch die Leistungsanalyse und insgesamt die folgenden Schritte: Messungen von Kerngrößen eines Systems, Modellierung des Systems, Modellanalyse, Bewertung, des Modells und der Ergebnisse sowie Optimierung der Systemparameter und Prognosen des Verhaltens in der Zukunft. Die Methodologie kommt aus dem Gebiet der Modellierung mit Warteschlangen. Im Rahmen dieser Vorlesung sollen u. a. folgende Themen vorgestellt werden:

• Leistung und Zuverlässigkeit von Systemen
• Ziele und Anwendungsbereich von Modellen
• Konzeptionelle Warteschlangenmodelle:
  • Kenngrößen
  • Einfache Warteschlangen
  • Erweiterte Warteschlangen
• Lösungsmethoden:
  • Analytische Methoden
  • Simulation
  • Hierarchische Dekomposition
• Modellierungswerkzeuge und Kriterien zu deren Auswahl
• Auswertung von Ergebnissen
• Praktische Anwendungen (mehrere Beispiele)

In den Übungen werden die praktischen Fertigkeiten des Modellentwurfs, der Umsetzung des Modells in eine Implementierung, des Entwerfens von Experimenten und der Auswertung der Ergebnisse vermittelt. Die Vorlesung richtet sich an Studierende mit informatikorientierter Vertiefung im Hauptstudium (also insbesondere, aber nicht ausschließlich, an Studierende der Mathematik mit Studienrichtung Informatik und der Angewandten InformatikBachelor/Master); sie setzt keinerlei Kenntnisse auf dem Gebiet der Simulation voraus, erfordert aber zumindest stochastisches Basiswissen (Verteilungen, etc.). Dieses Basiswissen wird im Rahmen der Vorlesung aufgefrischt.

Termine

• Vorlesung: Donnerstags, 14:00 Uhr bis 16:00 Uhr in Raum F435

• Übung:  Mittwochs, 10:00 Uhr bis 11:30 Uhr in Raum F435

Literaturempfehlungen

• Kleinrock, L.: Queueing Systems (Vol. I, II), Wiley, 1975/1976.
• Bolch, G.: Leistungsbewertung von Rechensystemen mittels analytischer Warteschlangen, Teubner, 1989.
• Bolch, G.; Greiner, S.; de Meer, H.; Trivedi, K.: Queueing Networks and Markov Chains, Wiley, 1998.
• Trivedi, K.: Queueing methods and Markov Chains: Modeling & Performance Evaluation with computer science applications, Wiley, 1998.

Veranstaltung

Datum	Zeit	Raum	Anmerkungen
08.10.2009	14:15-15:45	F435

Hinweis

Diese Veranstaltung wird über das System Stud.IP organisiert. Bitte beachten Sie das sie hierfür einen Stud.IP-Account benötigen und eingeloggt sein müssen. Nur so kann die Seite direkt aufgerufen werden.

• Link zur Vorlesung bei Stud.IP
• Link zur Übung bei Stud.IP