UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >> Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme) >>
Analysemethoden für nicht-Markowsche Modelle

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.
Projektleitung:
Prof. Dr.-Ing. Reinhard German

Beteiligte:
Dr.-Ing. Peter Bazan

Stichwörter:
nicht-Markowsche Modelle, Warteschlangennetzwerke, Leistungsbewertung, Näherungsverfahren

Laufzeit: 1.11.2001 - 30.10.2004

Publikationen
Bazan, Peter ; Bolch, Gunter ; German, Reinhard: WinPEPSY-QNS-Performance Evaluation and Prediction System for Queueing Networks. In: German, Reinhard ; Heindl, Armin (Hrsg.) : Proc.13th GI/ITG Conference (Measuring, Modelling and Evaluation of Computer and Communication Systems, Nürnberg, Germany March 27-29, 2006). Berlin : VDE Verlag GmbH, 2006, S. 465-468. - ISBN 3-8007-2945-8
Bazan, Peter ; German, Reinhard: Approximate Analysis of Stochastic Models by Self-Correcting Aggregation. In: Ciardo, G. ; D'Argenio, P. ; Miner, A. ; Rubino, G. (Hrsg.) : Proc. 2nd. Int. Conf. on the Quantitative Evaluation of Systems 2005 (QEST 2005 Torino, Italy 19-22 September). 2005, S. 134-143. - ISBN 0-7695-2427-3
[doi>10.1109/QEST.2005.5]
Bazan, Peter ; Bolch, Gunter ; German, Reinhard: WinPEPSY-QNS Performance Evaluation and Prediction System for Queueing Networks. In: Begain, Khalid ; de Meer, Hermann ; Bolch, Gunter (Hrsg.) : Proc. 11th Int. Conf. on Analytical and Stochastical Modelling Techniques and Applications (ASMTA 2004 Magdeburg 13. -16.06.04). 2004, S. 110 -115.
Bazan, Peter ; German, Reinhard: An iterative approximate analysis method for non-Markovian models based on supplementary variables. In: Buchholz, P. ; Lehnert, R. ; Pioro, M. (Hrsg.) : Proc. 12th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB & PGTS 04 Dresden September 2004). 2004, S. 255-264.
German, Reinhard: Iterative Analysis of Markov Regenerative Models. In: Journal of Performance Evaluation (2001), Nr. 44, S. 51-72
Freiheit, J. ; Zimmermann, A. ; German, Reinhard ; Hommel, G.: Petri Net Modeling and Performability Evaluation with TimeNET 3.0. In: Haverkort, B. ; Bohnenkamp, H. ; Smith, C. (Hrsg.) : Proc. Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. (TOOLS 2000 Schaumburg, Illinois, USA März 2000). Heidelberg : Springer, 2000, S. 188-202. (LNCS Bd. 1786)
German, Reinhard: Cascaded Deterministic and Stochastic Petri Nets. In: Plateau, B. ; Stewart, W.J. ; Silva, M. (Hrsg.) : Proc. 3. Int. Meeting on the Numerical Solution of Markov Chains (NSMC 1999 Zaragoza September 1999). 1999, S. 111-130.
UnivIS ist ein Produkt der Config eG, Buckenhof