EINE IMPLEMENTIERUNG MIT PEPP
 | ||
|
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)
Eine Implementierung mit PEPP
Inhalt
In der Leistungsbewertung von Systemen benutzt man oft Modelle mit stochastischem Verhalten. In einem solchen Systemmodell ist die Laufzeit eines Ereignisses durch eine Wahrscheinlichkeitsverteilung beschrieben. Ein Möglichkeit zur Modellierung und Analyse bieten sogenannte "stochastic graph models".
In dieser Arbeit sollen Sie ein Programm entwickeln, welches die Details aus [Har93] umsetzt.
Hier werden die Wahrscheinlichkeitsverteilungen, welche die Laufzeiten charakterisieren, numerisch repräsentiert. In einer solchen Repräsentation wird die Zeit diskretisiert.
Desweitern können Zustände des Graphen auf zwei verschiedenen Wegen zusammengefaßt. Es ist möglich, die Wahrscheinlichkeitsverteilungen zweier Zustände zu falten, sie also nacheinander ausführen, oder sie als parallel zu betrachten. Diese Faltungen von Zufallsvariablen gilt es auf der diskreten Repräsentation zu implementieren und visuell darzustellen. Ein großer Teil der Arbeit fokussiert sich auf die Visualisierung und somit auf ein Java-basiertes GUI.
Vorraussetzungen
Kenntnisse in C++ und Java.
Status
Verfügbar
Kontakt:
Prof. Dr.-Ing. Holger Hermanns
Kommentar
Verweise
