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

PID2021-124054OB-C33

Financiado

INGENIERIA DEL SOFTWARE SEGURA PARA LA COMPUTACION CUANTICA

LA COMPUTACION CUANTICA ESTA GANANDO INTERES EN MUCHAS AREAS DE INVESTIGACION, DESDE LAS MATEMATICAS O LA FISICA CENTRADAS EN LA CONSTRUCCION DE ORDENADORES CUANTICOS MAS POTENTES O QBITS MAS ESTABLES, HASTA LA ECONOMIA O LA SALUD... ver más

01/01/2021

DEUSTO

60K€

Presupuesto del proyecto: 60K€

Líder del proyecto

UNIVERSIDAD DE LA IGLESIA DE DEUSTO No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1

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

0% 100%

Participantes

DEUSTO

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

PID2019-104791RB-I00 MODERNIZACION SOFTWARE PARA DAR CABIDA A LA INFORMACION CUAN... 54K€ Cerrado

PTQ2020-011109 Desarrollo de Algoritmos de Inteligencia Artifical inspirado... 55K€ Cerrado

PID2021-124054OB-C32 TESTING Y ASEGURAMIENTO DE LA CALIDAD DEL SOFTWARE CUANTICO 121K€ Cerrado

PID2021-125823NA-I00 ARQUITECTURAS Y ALGORITMOS CUANTICOS CODISEÑADOS 133K€ Cerrado

PID2021-122547NB-I00 TECNOLOGIAS CLAVE PARA COMPUTACION CUANTICA 109K€ Cerrado

ENCHANT General characterisation of near term quantum advantage regi... 189K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE LA IGLESIA DE DEUSTO No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1

Presupuesto del proyecto 60K€

Descripción del proyecto LA COMPUTACION CUANTICA ESTA GANANDO INTERES EN MUCHAS AREAS DE INVESTIGACION, DESDE LAS MATEMATICAS O LA FISICA CENTRADAS EN LA CONSTRUCCION DE ORDENADORES CUANTICOS MAS POTENTES O QBITS MAS ESTABLES, HASTA LA ECONOMIA O LA SALUD, CENTRADAS EN LA CREACION DE NUEVOS ALGORITMOS CUANTICOS PARA PROBLEMAS ESPECIFICOS. SIN EMBARGO, TODAVIA NO SE HA DEDICADO MUCHO ESFUERZO AL DESARROLLO DE TECNOLOGIAS PARA CONSTRUIR EL FUTURO SOFTWARE CUANTICO.EN ESTE CONTEXTO, EL OBJETIVO PRINCIPAL DE ESTE PROYECTO ES PROPORCIONAR TECNICAS Y METODOLOGIAS PARA EL DESARROLLO DE Q-SOFTWARE QUE APLIQUEN LAS LECCIONES APRENDIDAS DE LA ING. DE SOFTWARE CLASICA.LOS ORDENADORES-Q SE ESTAN DESARROLLANDO PARA RESPALDAR LA POSTERIOR EJECUCION DEL SOFTWARE-Q. AUNQUE EL FUTURO DEL SOFTWARE-Q AUN SE DESCONOCE, ALGUNAS DE SUS CARACTERISTICAS SE PUEDEN PREDECIR: EN PRIMER LUGAR, EL SOFTWARE-Q COEXISTIRA CON EL SOFTWARE Y LOS SISTEMAS DE INFORMACION CLASICOS. EN SEGUNDO LUGAR, EL SOFTWARE-Q SE DEDICARA A RESOLVER PROBLEMAS QUE NO SE PUEDEN RESOLVER CON LOS SISTEMAS CLASICOS. POR LO TANTO, LOS SISTEMAS Y SOFTWARES CLASICOS Y CUANTICOS DEBERAN COLABORAR. EN TERCER LUGAR, LA FORMA MAS CONOCIDA DE LA DISCIPLINA DE LA ING. DEL SOFTWARE PARA GESTIONAR LA COLABORACION ENTRE SISTEMAS HETEROGENEOS ES EL USO DE PRINCIPIOS ORIENTADOS A SERVICIOS.PARA PODER CREAR TALES SISTEMAS HIBRIDOS, SE NECESITAN AVANCES SIGNIFICATIVOS EN LA COMPUTACION ORIENTADA A SERVICIOS-Q, QUE PERMITA A LOS DESARROLLADORES CREAR Y OPERAR SERVICIOS-Q Y MICROSERVICIOS CON EL MISMO NIVEL DE CALIDAD Y SEGURIDAD QUE SUS CONTRAPARTES CLASICAS.ESTE PROYECTO COORDINADO ABORDA TRES DE LAS PRINCIPALES LIMITACIONES DE LOS ACTUALES SERVICIOS-Q. EN PRIMER LUGAR, EL SUBPROYECTO LIDERADO POR UEX SE ENFOCARA EN EL DESARROLLO DE MICROSERVICIOS-Q. EN SEGUNDO LUGAR, EL SUBPROYECTO LIDERADO POR UCLM SE CENTRARA EN LA CALIDAD Y LAS PRUEBAS DE MICROSERVICIOS-Q, Y EN TERCER LUGAR, EL SUBPROYECTO LIDERADO POR LA UD SE CENTRARA EN LOS ASPECTOS DE SEGURIDAD DE LOS MICROSERVICIOS-Q.LA CONTRIBUCION DEL SUBPROYECTO QSERV-UD SE CONCIBE DESDE EL PRINCIPIO, YA QUE LA SEGURIDAD DEL CODIGO CUANTICO DEBE ABORDARSE DESDE EL DISEÑO; ESTE ES UN APRENDIZAJE IMPORTANTE QUE LA ING. DEL SOFTWARE HA OBTENIDO DESPUES DE MAS DE 20 AÑOS DE DESAFIOS DE SEGURIDAD IT. EL EQUIPO DE DEUSTO OBTENDRA UN PARADIGMA ROBUSTO DE ING. DE SOFTWARE SEGURA PARA QC, QUE PODRIA LIDERAR LA TRANSFERENCIA DE LAS POSIBILIDADES CUANTICAS DE LOS LABORATORIOS A LA SOCIEDAD EN GENERAL.LA ADOPCION DE LA SEGURIDAD EN LA CODIFICACION CUANTICA SE PUEDE REALIZAR MEDIANTE DOS ENFOQUES PRINCIPALES: ANALISIS ESTATICO Y ANALISIS DINAMICO. DADAS LAS LIMITACIONES ACTUALES DEL CODIGO CUANTICO, EL ANALISIS ESTATICO PARECE SER EL ENFOQUE MAS PROMETEDOR PARA COMENZAR EL DESPLIEGUE DE LA SEGURIDAD EN EL MUNDO DE LA PROGRAMACION CUANTICA, Y TAMBIEN SENTAR LAS BASES DE UN ANALISIS DINAMICO POSTERIOR. EN CONCRETO, LA INCLUSION DE LA SEGURIDAD EN EL DISEÑO DE SOFTWARE-Q TIENE TRES ELEMENTOS PRINCIPALES: (I) EVALUACION DE LA ESTABILIDAD Y PROPENSION A ERRORES DEL SOFTWARE-Q, (II) PRUEBAS DE SOFT. A TRAVES DE ASERTOS, Y (III) ANALISIS DE ERRORES CAUSADOS POR LA IMPLEMENTACION DEL LENGUAJE-Q.DE ESTA MANERA, ESTE PROYECTO CREARA LAS BASES PARA ACERCAR LOS BENEFICIOS DEL SOFTWARE CLASICO AL SOFTWARE-Q, LO QUE IMPLICA UNA CONTRIBUCION FUNDAMENTAL AL CAMPO DE LA ING. DEL SOFTWARE-Q, UN AREA DE INVESTIGACION EXTREMADAMENTE JOVEN EN LA QUE ESTA PROPUESTA ES VERDADERAMENTE PIONERA NGENIERIA DEL SOFTWARE\ANALISIS DE MALWARE\VERIFICACION DE MODELOS\ANALISIS ESTATICO\ANALISIS DE CODIGO\SEGURIDAD DE CODIGO\SEGURIDAD DE SOFTWARE

Conecta tu I+D

Entra hoy

¿Olvidó su contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores