Open Topics

Use LLVM Compiler Optimization Techniques in ARA

 
Typ: Bachelorarbeit
Status: offen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - a tool for static (real-time) operating system analysis - to use as much already implemented LLVM analyses as possible

Bring Support for Zephyr Analysis to ARA

 
Typ: Bachelorarbeit
Status: offen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - an (real-time) operating system (RTOS) analyzer - for analysis of Zeyphr, an RTOS guided by the Linux Foundation

Implementing AVR Instruction Set Architecture and Evaluating its Resilience using Fault Injection

Typ: Masterarbeit
Status: offen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Use SAIL language to integrate an AVR ISA implementation into a fault injection framework. Different CPU architectures shall be evaluated for reliability.