Home   >   Projects   >   SAFER

SAFER

Analysis and Validation of Software and Web Resources

Field
National
Date
01/06/2020 - 31/05/2024
Industry
  • Otros
Budget
116160
Funded by

Spanish Ministry of Science, R&D&I Projects "Research Challenges" 2019.

Website
Video

PROJECT INFORMATION

DESCRIPTION

The main objective of the SAFER project is to advance the state of the art of research in rigorous techniques to improve the reliability and usability of software in general and Internet applications in particular. We also plan to develop methods and tools to analyze text and web resources. Thus, this project aims to improve software systems, contributing at the same time to increase the competitiveness of the software development industry in our country and the possibilities of transferring knowledge and know-how between Spanish universities and software companies. To accomplish these objectives, we will draw on the fundamentals and techniques of the following well-established broad areas of computer science: software debugging and validation; code reliability; fuzzy techniques; information retrieval.

The main objective of the SAFER project is to advance the state of the art of research in rigorous techniques to improve the reliability and usability of software in general and Internet applications in particular. We also plan to develop methods and tools to analyze text and web resources. Thus, this project aims to improve software systems, contributing at the same time to increase the competitiveness of the software development industry in our country and the possibilities of transferring knowledge and know-how between Spanish universities and software companies. To accomplish these objectives, we will draw on the fundamentals and techniques of the following well-established broad areas of computer science: software debugging and validation; code reliability; fuzzy techniques; information retrieval.

Impact

The use of formal techniques with a solid mathematical basis can have a profound impact in many areas of Information Technology, as well as in the search for solutions to the different computational problems that can be found in a digital society, including the areas of health, security or sustainable transportation, to name a few. The development of techniques, methodologies, strategies and tools included in the SAFER proposal constitute a fundamental enabling technology for the development of quality software with direct diffusion to commerce and industry. In particular, we intend to disseminate the results of the project through publications in relevant journals and conferences. In addition, the tools resulting from this project will be distributed as open source, which will allow us to achieve a wide level of dissemination and attract not only users but also potential collaborators.

Success stories

Code debugging; Verification of concurrent systems.

Entities

UPV, UCLM, UPM

Contact information

Germán Vidal
CU

VRAIN

Technological capabilities

IA
Data security and privacy technologies