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 analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems.