Open Topics

Fixed-Point Analysis for ARA: Best Value for Pointers

 
Typ: Bachelorarbeit
Status: offen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extent ARA's value analysis to pointers, conditions and loops.

Slothful Bird: Extend the ARA System Generator by a Sloth Backend for FreeRTOS and OSEK

Typ: Bachelorarbeit
Status: offen
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Extend the ARA Generator with a backend using the interrupt controller as scheduler and dispatcher.

System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls

 
Typ: Bachelorarbeit
Status: offen
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Extend the ARA to precompute interaction system calls like queue.send(data).