Andreas Kässens (M.Sc.)
Wissenschaftlicher Mitarbeiter
Projects
- AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
- Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.
Publications
2025
-
OSPERT
Workshop
B
IRx: RTOS-Aware Abstract Interpretation using an LLVM-based Interpreter -
Proceedings of the 19th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '25)2025.
PDF [BibTex]
2024
-
RTSJ
Journal
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS -
Real-Time SystemsSpringer2024.
PDF 10.1007/s11241-024-09429-1 [BibTex]
Teaching
Supervised Theses
Running Theses
RTOS as State Machine: Synthesis of Optimized Zephyr Embedded Systems
Static analysis of embedded systems can extract deep compile-time knowledge about the RTOS behavior at runtime. Using this knowledge, system calls in the Zephyr RTOS shall be specialized to transition functions on the system state, like a state machine.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Kyrylo Lipkovych
Finished Student Theses
AUTOSAR on Xen: Virtualized Real-Time Operating Systems with ARA
Complex embedded computing systems shift to partitioning multicore hardware e.g. using the Xen hypervisor. Our AUTOSAR implementation shall be extended to support execution on an hypervised ARMv8 system.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Sam Edding
HyperSSE: Static Analysis of Real-Time Hypervisor Systems
Complex embedded computing systems shift to partitioning multicore hardware e.g. using the Xen hypervisor. The static analysis in ARA shall be extended to support analyzing basic synchronization mechanisms of such systems.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Mareike Burg (abgegeben: 26. Sep 2025)
Development and Analysis of an AUTOSAR Real-Time Operating System on a Multicore RISC-V Hardware Platform
In previous work, an AUTOSAR-compatible real-time operating system was developed for RISC-V in QEMU. In this thesis, it shall be deployed on real RISC-V hardware like the BeagleV®-Fire so timing measurements for RTOS-specific optimizations can be executed.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Maurice Höppner (abgegeben: 19. May 2025)
RTOS of the Day: Performance Comparison and Analysis of Open Source Real-Time Operating Systems
For optimization of RTOS, we need a performance measurement baseline. RTOS-specific benchmarks like ThreadMetric can provide numbers on how some implementations are more or less suitable for time-critical applications.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Jan Heinemeyer (abgegeben: 14. Feb 2025)
Experimental Setup of an Active Magnetic Bearing for Real-Time Operating System Research
For optimization of RTOS, an experimental setup to prove the applicability for real world systems shall be built.
- Typ
- Studienarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
Controlling the Kite: Static Control-Flow System Analysis for Embedded Controllers with Zephyr RTOS in ARA
The ARA toolchain shall support the system-state enumeration for Zephyr-based embedded applications.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Vitali Fendel (abgegeben: 03. Dec 2024)
Implementation of Optimized AUTOSAR Systems for RISC-V with ARA
Extending the AUTOSAR Synthesis in ARA to support multicore RISC-V targets
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Arved Blöcker (abgegeben: 05. Aug 2024)
Own Thesis
Synthesis of Optimized AUTOSAR Embedded Systems: Automated System-Call Specialization and Lock Elision on Multicore Applications as a Whole-System Approach
Implement and evaluate an AUTOSAR synthesis with Lock Elision
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Andreas Kässens (abgegeben: 14. Jun 2023)