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

  • Embedded Testing 2019
    Munich, 1–4 July
  • Forum Safety & Security 2019
    Sindelfingen, 8–10 July

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