This project focuses on optimizing embedded systems by specializing the operating system itself through the Automatic Real-time Analyzer (ARA). The ARA performs static analysis to identify task interactions, and with the MultiSSE extension, it can analyze multicore AUTOSAR systems for static optimization. Modern embedded systems often partition hardware into virtualized domains for safety, allowing each domain to run its own isolated Real-Time OS or General-Purpose OS. This approach makes powerful central computing hardware feasible for time-critical software from various suppliers.
The research group (SRA) is part of Leibniz University Hannover, a recognized public university in Germany. Specific program accreditations are not detailed here.
To apply for this thesis project, you should directly contact the supervisors, Andreas Kässens and Daniel Lohmann, to express your interest. You will then discuss the project scope and, upon agreement, follow university procedures for formal thesis registration.
As this is a thesis project, specific entry requirements are tied to enrollment in a relevant Bachelor's program at Leibniz University Hannover. You typically need to be an enrolled student to undertake such projects.
Skills gained from this thesis, such as ARM assembly, C++, real-time operating systems, and hypervisor technologies, are highly relevant for careers in embedded systems development, automotive software, and operating system research.
The start date for the thesis is flexible, depending on the agreement with supervisors and program requirements. An example project concluded on September 22, 2025.