Inicio   >   Proyectos   >   DEEPTRUST

DeepTrust

Tecnologíaa lógica profunda para asegurar la confiabilidad del software

Ámbito
Regional
Fecha
01/01/2019 - 31/12/2022
Sector
  • Otros
  • Salud
Presupesto
260924
Finanaciador

Generalitat Valenciana

Video

INFORMACIÓN DEL PROYECTO

DESCRIPCIÓN

El objetivo de este proyecto es el desarrollo de nuevas técnicas y herramientas automáticas que permitan garantizar la confiabilidad del software, contribuyendo a erradicar los fallos que, de otra forma, podrían conducir a vulnerabilidades de seguridad y/o errores de cómputo. El proyecto plantea un programa integrado de investigación en técnicas formales para la calidad del software, una tecnología con fuerte base matem´atica que se aplica al análisis, modelado, verificación, síntesis, aprendizaje, depuración y optimización automática de sistemas complejos.

El objetivo de este proyecto es el desarrollo de nuevas técnicas y herramientas automáticas que permitan garantizar la confiabilidad del software, contribuyendo a erradicar los fallos que, de otra forma, podrían conducir a vulnerabilidades de seguridad y/o errores de cómputo. El proyecto plantea un programa integrado de investigación en técnicas formales para la calidad del software, una tecnología con fuerte base matem´atica que se aplica al análisis, modelado, verificación, síntesis, aprendizaje, depuración y optimización automática de sistemas complejos.

Impacto

El proyecto DeepTrust avanzará en los métodos de análisis, especificación, depuración, verificación, optimización y aprendizaje automáticos de modelos y programas para que puedan ser utilizados por la industria del software. Impulsará de esta forma la computación de alta seguridad y contribuirá a mejorar las tecnologíaas y sistemas software que se están demandado actualmente y se usarán en el futuro.

Entidades

Universitat Politècnica de València

DATOS DE CONTACTO

María Alpuente
Profesora

VRAIN

CAPACIDADES TECNOLÓGICAS

IA
Machine learning technologies