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, currently reserved)
- 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, currently reserved)
- 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?