Konsortiet vil fremme grundlæggende teorier om model verifikation og dataanalyse. På dette grundlag vil det udvikle metoder og værktøjer til god praksis for udformning og analyse af pålidelige og sikre IKT-systemer, der behandler store datamængder, som efterspørges af applikationer til områder af høj socioøkonomisk relevans og robotsystemer, e-sundhed og biomedicinske systemer.