Andreas Kässens (M.Sc.)
Wissenschaftlicher Mitarbeiter
- Telefon
- 0511 762 19738
- kaessens@sra.uni-hannover.de
- Adresse
- Appelstraße 4
30167 Hannover - Gebäude
- 3703
- Raum
-
Raum 132
Appelstraße 4 Raum 132
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
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
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
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
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
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Maurice Höppner
HyperSSE: Static Analysis of Real-Time Hypervisor Systems with ARA
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
- reserviert
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
Finished Student Theses
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)
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)
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
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)