Controlling the Kite: Static Control-Flow System Analysis for Embedded Controllers with Zephyr RTOS in ARA

• Typ der Arbeit: Masterarbeit
• Status der Arbeit: laufend
• Projekte: AHA
• Betreuer: Andreas Kässens, Gerion Entrup, Daniel Lohmann
• Bearbeiter: Vitali Fendel

In the AHA project, we statically analyze and optimize embedded real-time systems to allow the improvement of nonfunctional system properties. Using different static analyzer tools developed in our research group, we generate the system-wide control flow, interactions and more in a graph-based structure with the ARA toolchain.

In this thesis, the analysis of the Zephyr RTOS in ARA shall be extended to support the system-state enumeration (SSE) that is currently limited to the AUTOSAR operating system standard. As one part of this work, the existing Zephyr RTOS model shall be extended to support further semantics like scheduling behavior and a detailed system call interpretation. Based on that, the analysis should be extended by a generator part to apply existing compile-time optimizations and assertions to improve the dependability.

To evaluate the extended analysis and synthesis, the analysis shall be applied to real-world applications like the Intel Embedded Controller Firmware [1].

[1] Intel Embedded controller firmware documentation

Topics covered by this thesis: real-time systems, static analysis, LLVM, C++, C, Python

Related

OSPERT Workshop B
RTOS-Independent Interaction Analysis in ARA

Gerion Entrup, Jan Neugebauer, Daniel LohmannProceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)2022.
PDF Slides [BibTex]

×

BibTex Entry

@inproceedings{entrup:22:ospert,
author = {Gerion Entrup and Jan Neugebauer and Daniel Lohmann},
booktitle = {Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)},
entrysubtype = {Workshop},
month = {July},
title = {RTOS-Independent Interaction Analysis in ARA},
venue = {Modena, Italy},
year = {2022},
}

Close

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]

×

BibTex Entry

@inproceedings{dietrich:15:lctes,
location = {New York, NY, USA},
ar = {25\% (14/56)},
author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
booktitle = {Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)},
category = {os-embedded, L4},
doi = {10.1145/2670529.2754963},
entrysubtype = {Conference},
isbn = {978-1-4503-3257-6},
keywords = {Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler},
month = {June},
publisher = {ACM Press},
title = {Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems},
venue = {Portland, Oregon, USA},
year = {2015},
}

Close

Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse

Extend ARA - a (real-time) operating system (RTOS) analyzer - for analysis of Zephyr, an RTOS guided by the Linux Foundation

---

 

Typ

Bachelorarbeit

---

 

Status

abgeschlossen

---

 

Supervisors

Gerion Entrup
Daniel Lohmann

---

 

Project

AHA

---

 

Bearbeiter

Kenny Albes (abgegeben: 28. Feb 2021)