Latest tool news

Ongoing projects

  • ARGO
    WCET-aware parallelization of model-based applications for heterogeneous parallel systems
  • ARAMiS II
    Tools, platforms, and processes for the development of safety-critical multicore systems
  • ASSUME
    Affordable safe and secure mobility evolution
  • AQUAS
    Aggregated quality assurance for systems

Upcoming events

Media coverage

  • Elektronik 20/2016
    Höhere Zuverlässigkeit durch Einsatz eines formal verifizierten Compilers”
  • Funktionale Sicherheit 7/2015
    Multicore-CPUs in sicherheits­kritischen Echtzeit­systemen” (PDF)
  • Elektronik automotive 3/2014
    Safely Excluding Serious Errors” (PDF)

Recent publications