Latest news

Ongoing projects

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

Upcoming events

  • MedConf
    Munich, October 2020
  • IoT Device Security Conference
    virtual conference, November 2020
  • Embedded Software Engineering Congress
    virtual conference, November 2020

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