Alexander Weidinger


Picture of Alexander Weidinger

Alexander Weidinger, M.Sc.

Technical University of Munich

Informatics 13 - Associate Professorship of Integrated Computing Systems- (N.N.)

Postal address

Boltzmannstr. 3
85748 Garching b. München


SS 2021
  • Seminar - Selected Topics: Operating Systems and Distributed Systems
WS 2020/21
  • Operating Systems and Hardware orientied Programming for Games [Exercise]
  • Practical Course - Operating Systems - L4-Microkernels

Advised Theses


Unfortunately, I am currently not offering any theses.

Title Type Date
Implementation and Evaluation of a Distributed Data Storage in a Network of OSDP Evaluation Units BA 01/2021
Porting seL4 and TRENTOS-M to Raspberry Pi 4 IDP 12/2020
Development of a Testbed for the Simulation of an Automated Factory Based on L4 Fiasco.OC / Genode OS BA 10/2020
Prototypical Implementation of a Driver Assistance Application for L4 Fiasco.OC / Genode OS Utilizing the CARLA Simulator BA 10/2020
Hardware Assisted Real-Time Ethernet for Genode OS/L4-Microkernels GR 04/2020


  • EE4L4 - Echtzeit-Ethernet Unterstützung für L4-Mikrokern basierte Betriebssysteme [BMBF/Software Campus, Huawei, 03/2020 - 02/2021]
  • HaCRoM - Hardware-gestützter Echtzeit Checkpoint/Restore-Mechanismus für die Migration von Software-Komponenten in L4-Mikrokern-basierten Betriebssystemen [BMBF/Software Campus, Huawei, 11/2018 - 10/2019]
  • KIA4SM - Kooperative Integrationsarchitektur für zukünftige Smart Mobility Lösungen [BMBF/Software Campus, Siemens, 03/2015 - 10/2017]


  • Sebastian Eckl, David Werner, Alexander Weidinger und Uwe Baumgarten: Towards Real-Time Checkpoint/Restore for Migration in L4 Microkernel based Operating Systems. OSPERT 2019, 2019the 31th Euromicro Conference on Real-Time Systems (ECRTS 2019) more…