Konzorcij će unaprijediti temeljne teorije modela provjera i analiza podataka. U okviru tog rada razvit će se metode i alati za dobre prakse projektiranja i analize pouzdanih i sigurnih sustava IKT-a koji obrađuju velike količine podataka, kao što je tražen aplikacijama u područjima od velike socioekonomske važnosti i robotskim sustavima, e-zdravstvu i biomedicinskim sustavima.