Il consorzio avanzerà le teorie fondamentali del modello verifica e analisi dei dati. Su questa base, svilupperà metodi e strumenti per pratiche sane di progettazione e analisi sistemi TIC affidabili e sicuri che trattano grandi volumi di dati, come richiesto da applicazioni a settori di elevata rilevanza socioeconomica e sistemi robotici, eHealth e sistemi biomedici.