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

ARA is a whole-system compiler to optimize the system's nonfunctional properties with global knowledge about the interaction between application and operating system. It consists of two parts: First, it statically analyzes a (real-time) system's source code to retrieve global knowledge based on system calls. Equipped with this knowledge, it then synthesizes an optimized system image with improved nonfunctional properties like reduced memory usage. One possible analysis of ARA is the need for inter-core locking and activation on a per-usage base. However, the synthesis part for this analysis is missing.

Your task with this thesis is to implement exactly that. For this, you first need to implement the necessary parts of the AUTOSAR standard (targeted for a multicore ARM processor). After that, you need to combine these parts with the generic analysis parts of ARA to get a full AUTOSAR system generator. Finally, you need to incorporate the concrete analysis results into the generator and evaluate the outcomings.

For large parts of the implementation you can reuse the existing code of the OSEK operating-system standard in dOSEK but need to adapt it to an partitioned multicore (as it is part of the AUTOSAR standard).

Topics covered by this thesis:
low level programming, C, C++, Python

Further Reading

AUTOSAR specification

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems
Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]
OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems
Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]
LCTES Conference A
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems
Christian Dietrich, Martin Hoffmann, Daniel LohmannProceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]