Seguridad por Diseño y Aseguramiento Automático e Inteligente de la Calidad del Software

En este línea de investigación se definen métodos de inteligencia artificial (optimización, ciencia de datos, aprendizaje máquina y profundo) para medir y evaluar la calidad del software en diferentes ejes: funcionalidad, rendimiento, seguridad, confiabilidad, usabilidad, mantenibilidad, compatibilidad y portabilidad. También proveemos de nuevas técnicas, prototipos y herramientas para el análisis estático de software, así como el desarrollo de nuevos estudios sobre calidad del software en entornos dinámicos. Esta línea de investigación se centra así en sistemas software en general y en sistemas ciber-físicos en particular, pero también en software para la Internet de las Cosas y las Ciudades Inteligentes.