Theses

I offer supervision for Bachelor and Master theses. If you are interested in a bachelor or master thesis (on simulation or on any other topic), you are welcome to contact me.

Topics for Theses

Possible topics for theses:


Simulation-based optimization of network protocols (Bachelor)

  • Status quo: there exist various network protocols with different properties for different areas of application.
  • Objective of the thesis: development of a simulation environment to test and optimize various network protocols, investigation of performance in terms of latency, throughput and packet loss
  • Open questions: Which layer(s) of the OSI model are interesting or relevant? Which protocols should be examined? Which parameters can be measured? How can the simulation be made realistic? How can the protocols be adapted to achieve better performance?

Comparison of time-based and event-based simulation based on case studies (Bachelor)

  • Status quo: there are several formally defined case study models for stochastic hybrid systems with different properties from the ARCH Friendly Competition, which have been simulated and/or analyzed with different tools so far.
  • Objective of the thesis: development of time-based and event-based simulations for ARCH case studies, comparison of the speed and accuracy of the simulations
  • Open questions: Which case studies are suitable for time-based and event-based simulation? What are the limits of practical feasibility? Which parameters influence performance?

Statistical Model Checking for SimPy (Bachelor)

  • Status quo: there is the discrete-event simulator SimPy for python.
  • Objective of the thesis: extension of SimPy with statistical model checking (SMC), evaluation of the implemented methods using a case study
  • Open questions: Does SimPy already contain SMC methods? Can SimPy be extended accordingly? Which methods should be added? Which input models is SimPy able to simulate?

Statistical Model Checking for agent-based simulation (master)

  • Status quo: agent-based simulations enable the modeling and analysis of complex systems based on the behavior and interaction of individuals. Latest research work is investigating the use of statistical model checking (SMC) to check whether agent-based simulation fulfills specified properties.
  • Objective of the thesis: investigation of the application of statistical model checking to agent-based simulations and development of methods for the integration of SMC into an existing agent simulation environment
  • Open questions: Which SMC methods are (best) suited to validate agent-based simulations? What are the challenges and limitations associated with applying SMC to complex agent-based models and how can they be overcome?