Latest tool news

Ongoing projects

  • TeamPlay
    Time, energy and security analysis for multi-/many-core heterogenous platforms
  • ARAMiS II
    Tools, platforms, and processes for the development of safety-critical multicore systems
  • AQUAS
    Aggregated quality assurance for systems

Upcoming events

  • Software Drives 2019
    Stuttgart
  • 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