Latest news

Ongoing projects

  • TeamPlay
    Time, energy and security analysis for multi-/many-core heterogenous platforms
  • QSMA
    Parallelization tools for certified avionics systems

Upcoming events

  • Forum Safety & Security
    June 22–23

Media coverage

  • Elektronik automotive 9/2018
    The Perfect Compiler”
    (PDF in German)
  • Funktionale Sicherheit 7/2015
    Multicore-CPUs in sicherheits­kritischen Echtzeit­systemen”
    (PDF in German)
  • Elektronik embedded 10/2014
    Echtzeitanalyse für softwaregesteuerte Systeme” (PDF)
  • Elektronik automotive 3/2014
    Safely Excluding Serious Errors” (PDF)

Recent publications