ARA in the wild: Systematic Application and Evaluation of ARA as a Whole-System Optimizer on Real-World Applications
- Typ der Arbeit: Bachelorarbeit
- Status der Arbeit: abgeschlossen
- Projekte: AHA
- Betreuer: Björn Fiedler, Daniel Lohmann
ARA is a whole-system analyzer and operating-system generator for real-time applications. With ARA, we are able to statically detect otherwise dynamically determined characteristics of real-time applications running in embedded systems. By using this static knowledge, ARAs goal is to improve the nonfunctional properties of the system by statically preparing and optimizing operating system functionality highly specialized towards a given application.
For further development and improvement of ARA's capabilities, a broad knowledge of operating-system usage patterns of real world applications is of great interest. Therefore, we need various applications from the field of embedded (real-time) systems which are to inspect and systematically evaluate them.
This thesis consists of multiple goals: - systematically collect real-world applications for examination - inspect their operating-system usage patterns - apply ARA's currently implemented optimizations and evaluate benefits - investigate possible points of improvement and extension potential in ARA
Topics covered by this thesis:
whole system compiler, static analysis, LLVM, C/C++, Python
ARA: Static Initialization of Dynamically-Created System Objects
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
ARA: Automatic Instance-Level Analysis in Real-Time Systems
Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.