Chair for Programming Languages and Compiler Construction

About

Research at the chair is concerned with the analysis and predictability of real time systems. In this process, various techniques like static analysis and abstract interpretation are applied to improve the safeness of embedded applications. The current research focusses on cache predictability, design for timing predictability, improvements of timing analysis and semi-automatic derivation of abstract processor models.