Inicio > Proyectos > SAFER

SAFER

Analysis and Validation of Software and Web Resources

DATOS BÁSICOS

Á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

Website

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.

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.