DIE RICHTIGE ORDNUNG IN "COMPOSITIONAL AGGREGATION" (LAUFEND)
 | ||
|
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)
Titel der Arbeit
Die richtige Ordnung in "Compositional Aggregation" (laufend).
Inhalt
Inhalt der Arbeit ist, ein existierendes Programm zur statischer Analyse von stochastischen Modellen zu erweitern. Das Programm ist in C geschrieben. Es geht darum eine Heuristik zu entwerfen, mit deren Hilfe eine effektive Ordnung für "Compositional Aggregation" - vollautomatisch - gefunden wird.
Die Effektivität der automatisch erzeugte Ordnung ist mit diversen intuitiven Ordnungen anhand mehrerer Fallstudien zu vergleichen. Darauf aufbauend sollen dann Ideen für verbesserte Heuristiken entwickelt werden.
Für mehr Information können Sie dieses (englische) Dokument lesen.
Vorraussetzungen
- Programmieren in C
- Interesse an kommunizierenden Prozessen
- Interesse an stochastischen Modelle
Status
Lauft
Kontakt
Verweise
- Interactive Markov Chains, eine gute Einführung in die verwendeten stochastichen Modelle.