Inicio   >   Proyectos   >   SAFER

SAFER

Analysis and Validation of Software and Web Resources

Ámbito
Nacional
Fecha
01/06/2020 - 31/05/2024
Sector
  • Otros
Presupesto
116160
Finanaciador

Ministerio de Ciencia de España, Proyectos I+D+i «Retos Investigación» 2019

Video

INFORMACIÓN DEL PROYECTO

DESCRIPCIÓN

El objetivo principal del proyecto SAFER es avanzar en el estado del arte de la investigación en técnicas rigurosas para mejorar la fiabilidad y utilidad del software en general y de las aplicaciones para Internet, en particular. También planeamos desarrollar métodos y herramientas para analizar textos y recursos web. Así, este proyecto persigue la mejora de los sistemas de software, contribuyendo al mismo tiempo al aumento de la competitividad de la industria de desarrollo de software de nuestro país y las posibilidades de transferencia de conocimiento y know-how entre las universidades españolas y las empresas de software. Para llevar a cabo estos objetivos, nos basaremos en los fundamentos y técnicas de las siguientes áreas amplias bien establecidas de la informática: depuración y validación de software; fiabilidad del código; técnicas difusas; recuperación de información.

El objetivo principal del proyecto SAFER es avanzar en el estado del arte de la investigación en técnicas rigurosas para mejorar la fiabilidad y utilidad del software en general y de las aplicaciones para Internet, en particular. También planeamos desarrollar métodos y herramientas para analizar textos y recursos web. Así, este proyecto persigue la mejora de los sistemas de software, contribuyendo al mismo tiempo al aumento de la competitividad de la industria de desarrollo de software de nuestro país y las posibilidades de transferencia de conocimiento y know-how entre las universidades españolas y las empresas de software. Para llevar a cabo estos objetivos, nos basaremos en los fundamentos y técnicas de las siguientes áreas amplias bien establecidas de la informática: depuración y validación de software; fiabilidad del código; técnicas difusas; recuperación de información.

Impacto

El uso de técnicas formales con una sólida base matemática puede tener un profundo impacto en muchas áreas de las Tecnologías de la Información, así como en la búsqueda de soluciones a los diferentes problemas computacionales que se pueden encontrar en una sociedad digital, incluyendo las áreas de salud, seguridad o transporte sostenible, por citar algunas. El desarrollo de técnicas, metodologías, estrategias y herramientas que se engloban en la propuesta SAFER constituyen una tecnología facilitadora fundamental para el desarrollo de software de calidad con difusión directa al comercio y la industria. En particular, tenemos la intención de difundir los resultados del proyecto a través de publicaciones en revistas y conferencias relevantes. Además, las herramientas resultantes de este proyecto se distribuirán como código abierto, lo que nos permitirá alcanzar un amplio nivel de difusión y atraer no solo a usuarios sino a posibles colaboradores.

Casos de Éxito

Depuración de código; Verificación de sistemas concurrentes.

Entidades

UPV, UCLM, UPM

DATOS DE CONTACTO

Germán Vidal
CU

VRAIN

CAPACIDADES TECNOLÓGICAS

IA
Data security and privacy technologies