Supervisors: Björn Fiedler, Daniel Lohmann
ARA is a whole system analyzer and optimizer. This thesis should investigate in an empirical study about the improvements derived from ARA's specializations.
Supervisors: Gerion Entrup, Daniel Lohmann
Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.