Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths

ARA is a whole-system optimizer. As such, it consumes a (real-time) system, analyzes it to gain some knowledge and performs various optimizations on that base. For knowledge retrieval it supports mainly this analyses:

  • The Static Instance Analysis (SIA) and Interaction Analysis (INA): Two flow insensitive analyses to statically retrieve instance and interaction knowledge. They are resource friendly and fast, but imprecise.
  • The System-State Enumeration (SSE): A flow sensitive analysis that builds a graph of all possible system states. This analysis is precise, but slow and costly.

Embedded systems often are dividable in parts of different criticalities (mixed criticality). In the simplest case, this results in a small but very important part and big but less important part. Your goal with this thesis is to bring this classification of criticalities to the analyses: The important part should be analyzed with the most precise analysis, the SSE. The unimportant part should be analyzed with the more imprecise but faster SIA and INA.

This task has several challenges: The analyses need to be adjusted from the handling of the whole system to only a specific part. You need to find an appropriate split point into "important" and "unimportant" and you must handle cross-domain interactions (what happens if an action in the "important" domain triggers something in the "unimportant" domain and vice versa?). All of that should be implemented within ARA and proven by a minimal working example.

Topics covered by this thesis:
static analysis, AUTOSAR, Python, C++, C

Further Reading

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]
Thesis
Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System
Christian Dietrich PHD thesisLeibniz Universität Hannover2019.
PDF 10.15488/7253 [BibTex]
TECS Journal A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis
Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]