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
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.
Teaching
Supervised Theses
Running 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
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Arved Blöcker
Own Thesis
Crossing the red light: Locks that never lock don't have to be taken.
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)