Konsorcium bude rozvíjet základní teorie modelu ověřování a analýza dat. Na tomto základě bude vyvíjet metody a nástroje pro řádné postupy navrhování a analýzy spolehlivé a bezpečné systémy IKT zpracovávající velké objemy dat, jak je požadováno aplikacemi v oblastech s vysokým socioekonomickým významem a robotických systémech, eHealth a biomedicínských systémech.