Konzorcium bude presadzovať základné teórie modelu Overenie a analýza údajov. Na tomto podklade bude vyvíjať metódy a nástroje pre správne postupy navrhovania a analýzy spoľahlivé a bezpečné systémy IKT, ktoré spracúvajú veľké objemy údajov, ako požadované aplikáciami v oblastiach s vysokým sociálno-ekonomickým významom a robotické systémy, eHealth a biomedicínske systémy.