Abschlussarbeiten

Ich biete auch die Betreuung von Abschlussarbeiten an. Wenn Sie Interesse an einer Abschlussarbeit (zum Thema Simulation oder auch in einem anderen Bereich) haben, kontaktieren Sie mich gerne.

Themen für Abschlussarbeiten

Mögliche Themen für Abschlussarbeiten:

Simulationsgestützte Optimierung von Netzwerkprotokollen (Bachelor)

  • Stand der Dinge: Es existieren verschiedenste Netzwerkprotokolle mit unterschiedlichen Eigenschaften für verschiedene Anwendungsgebiete.

  • Ziel der Arbeit: Erstellung einer Simulationsumgebung, um verschiedene Netzwerkprotokolle zu testen und zu optimieren, Untersuchung der Leistung in Bezug auf Latenz, Durchsatz und Paketverlust

  • Offene Fragen: Welche Schicht(en) des OSI-Modells interessant bzw. relevant? Welche Protokolle sollen untersucht werden? Welche Parameter können gemessen werden? Wie kann die Simulation realitätsnah gestaltet werden? Wie können die Protokolle angepasst werden, um eine bessere Leistung zu erzielen?

Vergleich von zeitbasierter und ereignisbasierter Simulation anhand von Fallbeispielen (Bachelor, zurzeit reserviert) 

  • Stand der Dinge: Es existieren verschiedene formal definierte Fallbeispiele für stochastische hybride Systeme mit unterschiedlichen Eigenschaften aus der ARCH Friendly Competition, die bisher mit verschiedenen Tools simuliert und/oder analysiert wurden.
  • Ziel der Arbeit: Entwicklung von zeitbasierte und ereignisbasierte Simulationen für ARCH Fallbeispiele, Vergleich der Geschwindigkeit und Genauigkeit der Simulationen
  • Offene Fragen: Welche Fallbeispiele eignen sich für zeitbasierte und ereignisbasierte Simulation? Wo sind die Grenzen in der praktischen Umsetzbarkeit? Welche Parameter beeinflussen die Performance?

Statistisches Model Checking für SimPy (Bachelor, zurzeit reserviert)

  • Stand der Dinge: Es existiert der Discrete-event Simulator SimPy für Python.
  • Ziel der Arbeit: Erweiterung von SimPy um statistisches Model Checking (SMC), Bewertung der ergänzten Methoden anhand eines Fallbeispiels
  • Offene Fragen: Enthält SimPy bereits doch SMC Methoden? Lässt sich SimPy entsprechend erweitern? Welche Methoden sollen ergänzt werden? Welche Eingabemodelle kann SimPy simulieren?