Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

RTI2018-094403-B-C33

Financiado

RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES

EL USO DE TECNICAS BASADAS EN RAZONAMIENTO FORMAL SE HA USADO CON EXITO PARA GARANTIZAR LA FIABILIDAD, LA EFICIENCIA Y LA SEGURIDAD DE LOS PRODUCTOS TECNOLOGICOS, ESTE TIPO DE GARANTIAS SON CLAVE PARA ALCANZAR MUCHOS DE LOS RETOS... ver más

01/01/2018

UPC

182K€

Presupuesto del proyecto: 182K€

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2018-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UPC

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

RTI2018-094403-B-C32 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 242K€ Cerrado

RTI2018-094403-B-C31 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 266K€ Cerrado

FormalWeb3 Web3 Platform for Formal Mathematics 150K€ Cerrado

TIN2008-04547 SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE S... 93K€ Cerrado

FASTPROOF Fast Proofs for Verifying Computations 1M€ Cerrado

SOICLAC-SISTEMA DE OPTIMIZACION INTELIGENTE D... SOICLAC-SISTEMA DE OPTIMIZACION INTELIGENTE DE PROCESOS DE C... Rechazado

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

Presupuesto del proyecto 182K€

Descripción del proyecto EL USO DE TECNICAS BASADAS EN RAZONAMIENTO FORMAL SE HA USADO CON EXITO PARA GARANTIZAR LA FIABILIDAD, LA EFICIENCIA Y LA SEGURIDAD DE LOS PRODUCTOS TECNOLOGICOS, ESTE TIPO DE GARANTIAS SON CLAVE PARA ALCANZAR MUCHOS DE LOS RETOS EN TECNOLOGIA INFORMATICA Y EN ESPECIAL APLICACIONES EMERGENTES TALES COMO LOS CONTRATOS INTELIGENTES UTILIZADOS EN LA TECNOLOGIA BLOCKCHAIN O LOS PROTOCOLOS DE COMUNICACIONES DONDE LA FALTA DE SEGURIDAD HA OCASIONADO GRANDES PERDIDAS ECONOMICAS (E,G,, EL CONOCIDO ATAQUE DAO CAUSO CUANTIOSAS PERDIDAS), ASI MISMO, EL USO DE HERRAMIENTAS BASADAS EN LA LOGICA PARA RESOLVER PROBLEMAS DE PLANIFICACION HA COMPORTADO IMPORTANTES BENEFICIOS EN CONTEXTOS MUY VARIADOS COMO EL TRANSPORTE DE PASAJEROS, LA GESTION DE PROCESOS INDUSTRIALES O LA ORGANIZACION DE EVENTOS O COMPETICIONES DEPORTIVAS DE GRAN DIFUSION,A PESAR DE LAS VENTAJAS MENCIONADAS, EL DESARROLLO DE TECNICAS DE RAZONAMIENTO FORMAL PARA LAS TECNOLOGIAS FACILITADORAS (TERMINO UTILIZADO PARA REFERIRNOS A TECNOLOGIAS YA EXISTENTES E INDISPENSABLES PARA OBTENER DETERMINADOS RESULTADOS) Y LAS TECNOLOGIAS EMERGENTES, ASI COMO LA CREACION DE HERRAMIENTAS BASADAS EN RAZONAMIENTO FORMAL, PRESENTA AUN IMPORTANTES ASPECTOS POR RESOLVER, EL ENFOQUE DEL PROYECTO FREETECH PARA ALCANZAR ESTOS HITOS ES EL SIGUIENTE: (1) EL DESARROLLO DE TECNICAS DE ANALISIS, VERIFICACION, TESTING Y DEPURACION DE PROGRAMAS QUE PERMITAN RAZONAR SOBRE LA CORRECCION, LA EFICIENCIA Y POSIBLES VULNERABILIDADES TANTO EN APLICACIONES EXISTENTES COMO EMERGENTES, ENTRE ESTAS APLICACIONES SE ENCUENTRAN LAS REDES DEFINIDAS POR SOFTWARE O LOS SMART CONTRACTS PARA LOS QUE EL CONSUMO DE RECURSOS Y LA SEGURIDAD SON MUY RELEVANTES, ASI COMO LOS PROTOCOLOS DE COMUNICACIONES CON PROPIEDADES FISICAS TALES COMO EL TIEMPO REAL O LAS DISTANCIAS; (2) EL USO DE TECNICAS DE DATA SCIENCE Y MACHINE LEARNING PARA OBTENER, DESARROLLAR Y/O MANIPULAR MODELOS DE LAS APLICACIONES ACTUALES; (3) EL USO DE RAZONAMIENTO FORMAL PARA MEJORAR LAS TECNICAS DE BUSQUEDA EN SECUENCIAS GENOMICAS; O (4) EL USO DE HERRAMIENTAS Y TECNICAS DE RESOLUCION DE RESTRICCIONES Y OPTIMIZACION (SAT, SMT Y CP) PARA ABORDAR PROBLEMAS DE PLANIFICACION Y REPLANIFICACION COMPLEJOS,PARA ABORDAR ESTE RETO UTILIZAREMOS COMO BASE LAS SIGUIENTES TECNICAS DE RAZONAMIENTO FORMAL: CONSIDERAREMOS TECNICAS DE ANALISIS ESTATICO BASADAS EN INTERPRETACION ABSTRACTA, QUE HAN DEMOSTRADO SER RIGUROSAS Y EFICACES AL INFERIR PROPIEDADES COMPLEJAS DEL CODIGO (COMO EL CONSUMO DE RECURSOS), PARA ABORDAR LA VALIDACION DE APLICACIONES CONCURRENTES Y DISTRIBUIDAS UTILIZAREMOS TECNICAS DE MODEL CHECKING Y EJECUCION SIMBOLICA DE PROGRAMAS COMBINADAS CON LA TEORIA DE "REDUCCION DE ORDEN PARCIAL DINAMICA" QUE PERMITE EXPLORAR LA EJECUCION DE ESTE TIPO DE APLICACIONES DE MANERA ESCALABLE, SE EMPLEARAN DE FORMA PROMINENTE RESOLUTORES SAT Y SMT Y TECNICAS DE CP, TAMBIEN UTILIZAREMOS TECNICAS DE ANALISIS Y TRANSFORMACION DE PROGRAMAS PARA OPTIMIZAR DISTINTOS ASPECTOS,DE ESTA FORMA, NUESTRO PROYECTO CUBRE DESDE LA TEORIA BASICA PARA EL DESARROLLO Y LA APLICACION DE LAS TECNOLOGIAS FACILITADORAS EXISTENTES, HASTA LOS RETOS ACTUALES INTRODUCIDOS POR LA TECNOLOGIAS DE LA INFORMACION EMERGENTES EN LA SOCIEDAD DIGITAL, RAZOMIENTO FORMAL\RESOLUCIÓN DE RESTRICCIONES\OPTIMIZACIÓN\ANÁLISIS ESTÁTICO\VERIFICACIÓN\TESTING\TRANSFORMACIÓN\APRENDIZAJE\CONTRATOS INTELIGENTES\SEGURIDAD

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores