Rasmus Ronneberg, Christoph König

In this bachelor thesis, a case study is developed for the scenario of a ridesharing system in the context of autonomous and safe mobility of the future. The case study describes, models and prototypically implements essential actors and components of the system (ticketing system, route planning, ...). During the implementation, key programming paradigms for the design of safe and variable systems will be considered (correctness-by-construction, software product lines). Finally, the case study will be evaluated on the basis of these paradigms.