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
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
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.
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.