Il-konsorzju se javvanza teoriji fundamentali tal-mudell verifika u analiżi tad-data. Fuq dan il-Groundwork, se tiżviluppa metodi u għodod għal prattiki sodi ta’ tfassil u analiżi ta’ u sistemi tal-ICT affidabbli u siguri li jipproċessaw volumi kbar ta’ data, bħala mitluba minn applikazzjonijiet għal oqsma ta’ rilevanza soċjoekonomika għolja u sistemi robotiċi, eHealth u sistemi bijomediċi.