The consortium will advance foundational theories of model verification and data analysis. On this groundwork, it will develop methods and tools for sound practices of designing and analyzing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance (cyberphysical and robotic systems, ehealth and biomedical systems).