Modellierung und Leistungsbewertung von Rechensystemen

Die in der Vorlesung verwendeten Folien sind im PDF Format verfügbar. Links stehen unter den Überschriften im folgenden Überblick.

• Inhaltsverzeichnis (-> Folien/PDF)

Aus dem Inhalt:

1. Überblick (-> Folien/PDF)

2. Motivation (-> Folien/PDF)
   • Leistungsgrößen
   • Leistungsbewertung
   • Modelltypen
     (Warteschlangen-, Petrinetz- und Markovmodelle)
   • Modelluntersuchungen
     (Simulation, Analytische Methoden)
   • Beispiele
     (Terminal-, Multiprozessorsystem)

3. Modellerstellung (-> Folien/PDF)

4. Einfache Wartesysteme (-> Folien/PDF)
   • Beschreibung
     (Kendall'sche Notation)
   • Verteilungen
     (Exponentialverteilung, Phasenverteilungen)
   • Leistungsgrößen
     (Little's Gesetz)
   • FIFO-Systeme (-> Folien/PDF)
   • Prioritätssysteme (-> Folien/PDF)
   • Heterogene Wartesysteme, Batchsysteme (-> Folien/PDF)

5. Warteschlangennetze
   • Beschreibung, Leistungsgrößen (-> Folien/PDF)
   • Markovanalyse (-> Folien/PDF)
   • Produktformwarteschlangennetze
     • Jackson-, Gordon/Newell- und BCMP-Theorem (-> Folien/PDF)
     • Faltungsalgorithmus, Mittelwertanalyse und FES-Methode (-> Folien/PDF)
     • Approximative Methoden: (-> Folien/PDF)
       Bard-Schweitzer-Methode, SCAT, Summationsmethode und Grenzwertanalyse
   • Nichtproduktformwarteschlangennetze (-> Folien/PDF)

6. Optimierung (-> Folien/PDF)

7. Anwendungsbeispiele (-> Folien/PDF)
   (Multiprozessor-, Client/Server-, Terminal-, Kommunikations-, Betriebs- und Fertigungssysteme)

8. Werkzeuge zur Leistungsbewertung
   • Warteschlangentool PEPSY ( -> Postscript)
     Performance Evaluation and Prediction SYstem
   • Markovanalysetool MOSEL (-> Folien/PDF)
     MOdelling Specification and Evaluation Language

   ---

   Übungen

   • Anwendung von PEPSY ( Benutzungshinweise für Pepsy, Short Pepsy User's Guide in english)
   • und MOSEL ( Benutzungshinweise für Mosel, Short Mosel User's Guide in english)
   • (Prüfungsfragen)