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) 

  • 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)

  • 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?

Statistisches Model Checking für agentenbasierte Simulation (Master)

  • Stand der Dinge: Agentenbasierte Simulationen ermöglicht die Modellierung und Analyse komplexer Systeme auf der Grundlage des Verhaltens und der Interaktion einzelner Individuen. Erste Forschungsarbeiten untersuchen wie Anwendung von Statistischem Model Checking (SMC) zur Überprüfung, ob die agentenbasierte Simulation gewünschte Eigenschaften erfüllt.

  • Ziel der Arbeit: Untersuchung der Anwendung von statistischem Model Checking auf agentenbasierte Simulationen und Entwicklung von Methoden zur Integration von SMC in bestehende Agenten-Simulationsumgebungen

  • Offene Fragen: Welche SMC-Methoden sind (am besten) geeignet, um agentenbasierte Simulationen zu überprüfen? Welche Herausforderungen und Einschränkungen sind mit der Anwendung von SMC auf komplexe agentenbasierte Modelle verbunden, und wie können sie überwunden werden?