Latest tool news

Ongoing projects

  • TeamPlay
    Time, energy and security analysis for multi-/many-core heterogenous platforms
  • AQUAS
    Aggregated quality assurance for systems
  • EMPHYSIS
    Embedded systems with physical models in the production code software

Upcoming events

  • ERTS 2020
    Toulouse
  • Embedded World 2020
    Nuremberg

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 automotive 3/2014
    Safely Excluding Serious Errors” (PDF)

Recent publications