Alexander Weidinger
Contact
Alexander Weidinger, M.Sc.
Technical University of Munich
Informatics 13 - Associate Professorship of Integrated Computing Systems- (N.N.)
Postal address
Postal:
Boltzmannstr. 3
85748 Garching b. München
Teaching
SS 2022
- Seminar - Master-Seminar: Trusted Execution Environments
- Praktikum - Betriebssysteme - seL4 & TRENTOS
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
Open
If you are interested in my main research areas, feel free to contact me with ideas regarding a thesis. You can find a list of open topics in the following table:
Finished
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 |
Projects
- EE4L4 - Echtzeit-Ethernet Unterstützung für L4-Mikrokern basierte Betriebssysteme [BMBF/Software Campus, Huawei, 03/2020 - 06/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]
Publications
- 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…