El objetivo de esta línea es impulsar el desarrollo de herramientas que permitan analizar, predecir y garantizar determinadas propiedades críticas en sistemas software intensos en datos. En especial, el interés se centra en propiedades relativas a la eficiencia, fiabilidad y seguridad de sistemas que integran soluciones y tecnologías de Big-Data (entre ellas, MapReduce/Hadoop, bases de datos no-SQL, o los servicios de almacenamiento disponibles en la nube). La idea es que este análisis forme parte del ciclo de diseño y desarrollo de metodologías tipo MDE (Model-Driven Engineering), garantizando criterios de calidad desde una perspectiva de ingeniería del software. La aproximación propuesta apuesta por el uso de modelos de representación y técnicas de análisis formales como solución al problema.
Grupo