El consorcio promoverá las teorías fundacionales del modelo la verificación y el análisis de datos. Sobre esta base, desarrollará métodos y herramientas para prácticas sólidas de diseño y análisis de sistemas TIC fiables y seguros que procesan grandes volúmenes de datos, como exigidos por las aplicaciones a dominios de gran relevancia socioeconómica y sistemas robóticos, sanidad electrónica y sistemas biomédicos.