Implementation of Optimized AUTOSAR Systems for RISC-V with ARA

Within the AHA project, we focus on optimizing embedded systems by specialization of the OS itself. Using the Automatic Real-time Analyzer (ARA), we perform static analysis to enable extensive tailoring of real-time operating systems to the application. The operating system is generated specifically for a single application to provide exactly the required functionality. As a result, we improve non-functional system properties like delay or memory footprint, which can reduce hardware costs and energy consumption.

In this thesis, the AUTOSAR system generation in ARA shall be extended to another target architecture: RISC-V. As a base, the source code of dOSEK [1] can be reused. Unlike in dOSEK/OSEK-V, the system shall support multicore platforms, hence concepts like atomics and spinlocks must be implemented. To evaluate the implemented system, it can be tested against existing applications and compared to the ARM implementation.


Topics: Python, C++, Multicore


RTAS Conference A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS
Gerion Entrup, Björn Fiedler, Daniel LohmannProceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides [BibTex]
LCTES Conference A
OSEK-V: Application-Specific RTOS Instantiation in Hardware
Christian Dietrich, Daniel LohmannProceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)ACM Press2017.
PDF Raw Data 10.1145/3078633.3078637 [BibTex]

Crossing the red light: Locks that never lock don't have to be taken.

Implement and evaluate an AUTOSAR synthesis with Lock Elision [PDF]



Gerion Entrup
Daniel Lohmann


Andreas Kässens (abgegeben: 14. Jun 2023)