Consorțiul va avansa teoriile fundamentale ale modelului verificarea și analiza datelor. Pe acest Groundwork, acesta va dezvolta metode și instrumente pentru practici solide de proiectare și analiză sisteme TIC fiabile și sigure care prelucrează volume mari de date, ca solicitate de aplicații în domenii cu relevanță socioeconomică ridicată și sisteme robotice, eHealth și sisteme biomedicale.