Internally funded project
Start date : 01.11.2001
End date : 30.10.2004
Traditionelle Ansätze zum Lösen nicht-Markowscher Modelle nutzen Phasentyperweiterungen, wenden das Verfahren der zusätzlichen Variablen an oder konstruieren eine eingebettete Markow-Kette. Alle drei Ansätze wurden auch im Zusammenhang mit Warteschlangennetzwerken und stochastischen Petri-Netzen untersucht. Der Ansatz der Phasentyperweiterung leidet unter der Vergrößerung des Zustandsraums, während die Methode der zusätzlichen Variablen und die der Konstruktion der eingebetteten Markow-Kette grundsätzlich erfordern, dass nicht-exponentiell zeitgesteuerte Aktivitäten nicht gleichzeitig auftreten können. Treten diese gleichzeitig auf, so hat dies mehrdimensionale Differentialgleichungssysteme zur Folge, die schwer zu lösen sind. Um diese Probleme zu vermeiden müssen effizientere Techniken zur Leistungsbewertung von Computernetzwerken, wie Web-Server oder Netzwerke von eingebetteten Systemen, entwickelt werden. In solchen Systemen können für Aktivitäten Zeitdauern mit großen Varianzen (Dateiübertragungen) sowie deterministische Zeitdauern (Sicherheitsaspekte) auftreten.
Wir haben zwei neue Ansätze entwickelt, um die Modelle zur Leistungsbewertung solcher Systeme näherungsweise auszuwerten zu können. Der erste Ansatz basiert auf dem Verfahren der zusätzlichen Variablen, der zweite auf den Phasentyperweiterungen. Derzeit verbessern wir diese Ansätze und es ist geplant, sie für die Lösung großer nicht-Markowscher Modelle kombinieren. In Zusammenarbeit mit dem Lehrstuhl 4 (Verteilte Systeme und Betriebssysteme) wurde das Werkzeug WinPEPSY für die Leistungsbewertung und Vorhersage mittels Warteschlangennetzwerken entwickelt. Es enthält bekannte Analyseverfahren für offene und geschlossene Produktform und nicht-Produktform Netze (Mittelwert Analyse, Jackson Methode, Dekompositionsmethode, Simulation) und auch die neuen zustandsraumbasierten Analyseverfahren wurden integriert. In einer Kooperation mit der Telekommunikationslabor, Kommunikation, Elektronik und Informationstechnik Abteilung der Nationalen Technischen Universität von Athen wurden Simulationsmodelle für eingebettete Netzwerkprozessoren entwickelt. Das Ziel ist es, die oben erwähnten Verfahren zu verbessern, so dass auch die Leistungsbewertung für solche großen Modelle möglich ist.