PRÄZISION VON MANET-SIMULATOREN
 | ||
|
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
Präzision von MANET-Simulatoren
Inhalt
In dieser Arbeit wird die Präzision einschlägiger Simulatoren für mobile Ad-Hoc-Netze untersucht, und zwar OPNET, NS-2 und GloMoSim. Sie untersucht die Gründe für das Auftreten widersprüchlicher Simulationsergebnisse selbst bei einfachen Problemstellungen. Ausgangspunkt der Arbeit ist [CAV02]. In dieser vergleichenden Studie wurde ein einfaches Ad-Hoc-Routing-Protokoll mit verschiedenen Simulatoren analysiert, wobei sehr widersprüchliche Ergebnisse auftraten. Dies lässt an der Aussagekraft von MANET-Simulationen generell zweifeln. Diese Bachelor-Arbeit versucht mit Hilfe einfacher Fragestellungen, diese Zweifel zu erhärten, oder zu widerlegen.
Status
Verfügbar
Kontakt
Prof. Dr.-Ing. Holger Hermanns
Verwiese
 | [CAV02] Cavin, Sasson, Schiper. On the Accuracy of MANET Simulators. POMC 2002. |