Konsorcjum będzie rozwijać podstawowe teorie modelu weryfikacji i analizy danych. Na tej podstawie, opracuje metody i narzędzia dla zdrowych praktyk projektowania i analizy wiarygodne i bezpieczne systemy ICT przetwarzające duże ilości danych, jak wymagane przez aplikacje do dziedzin o dużym znaczeniu społeczno-ekonomicznym oraz systemów zrobotyzowanych, eHealth i systemów biomedycznych.