Latest tool news

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)

Upcoming events

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
  • EMPHYSIS
    Embedded systems with physical models in the production code software

Recent publications