PID2019-108528RB-C21
Financiado
METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDA...
METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS (SUBPROYECTO IMDEA)
LOS ERRORES EN SISTEMAS SOFTWARE CAUSAN GRANDES DAÑOS PERSONALES, MEDIOAMBIENTALES Y ECONOMICOS, PERO A LA VEZ ESTOS SISTEMAS SOFTWARE SON ESENCIALES TANTO PARA NUESTRAS VIDAS DIARIAS, POR MEDIO DE DISPOSITIVOS MOVILES, COCHES, ET...
LOS ERRORES EN SISTEMAS SOFTWARE CAUSAN GRANDES DAÑOS PERSONALES, MEDIOAMBIENTALES Y ECONOMICOS, PERO A LA VEZ ESTOS SISTEMAS SOFTWARE SON ESENCIALES TANTO PARA NUESTRAS VIDAS DIARIAS, POR MEDIO DE DISPOSITIVOS MOVILES, COCHES, ETC,, COMO PARA AREAS ESTRATEGICAS COMO LA SALUD O EL TRANSPORTE, PUEDEN PRODUCIR UN IMPACTO CRITICO EN LA ECONOMIA Y EN LA SEGURIDAD, Y SON UNA PARTE IMPORTANTE DE LA ECONOMIA EN TODO EL MUNDO, AL MISMO TIEMPO, EL DESARROLLO Y MANTENIMIENTO DE SOFTWARE ES EXTREMADAMENTE COSTOSO, ADEMAS, LA DEMANDA DE EFICIENCIA SOBRE EL SOFTWARE INCLUYE NUEVOS RETOS TALES COMO LA OPTIMIZACION DE RECURSOS (INCLUYENDO, POR EJEMPLO, CONSUMO ENERGETICO) Y LA ADAPTACION A NUEVOS DISPOSITIVOS MOVILES,EL OBJETIVO GENERAL DE ESTE PROYECTO ES PROPORCIONAR TANTO FUNDAMENTOS COMO TECNOLOGIAS QUE PUEDAN FACILITAR LA TAREA DE DESARROLLO DE SISTEMAS SOFTWARE CON CERTIFICACION TANTO DE CALIDAD COMO DE FIABILIDAD, SIGUIENDO PARA ELLO LA TENDENCIA ACTUAL A INCREMENTAR EL USO DE METODOS FORMALES, DE HECHO, TECNICAS TALES COMO EL ANALISIS BASADO EN INTERPRETACION ABSTRACTA O LA VERIFICACION FORMAL SON AHORA ELEMENTOS CRUCIALES EN LAS CADENAS DE DESARROLLO DE PROGRAMAS,LA PROPUESTA SE ORGANIZA EN UN NUMERO DE LINEAS COORDINADAS QUE CUBREN AVANCES EN ANALISIS, VERIFICACION, TESTING, OPTIMIZACION Y GENERACION DE CODIGO, ASI COMO DESARROLLO DE HERRAMIENTAS,EL SUBPROYECTO IMDEA SE FOCALIZA EN APROXIMACIONES FORMALES AL ANALISIS Y VERIFICACION INCREMENTAL, ANALISIS DE CONSUMO DE ENERGIA, CONTRATOS INTELIGENTES, DISTANCIAS EN DOMINIOS ABSTRACTOS, GENERACION DE CASOS DE PRUEBA, PRUEBAS ABSTRACTAS, IMPLEMENTACION DE LENGUAJES NO MONOTONICOS, COMPILACION PARA NUEVAS MAQUINAS ABSTRACTAS Y PLATAFORMAS, E INTEGRACION DE ESTAS TECNICAS EN EL SISTEMA CIAO,ESTE PROYECTO ES EN PARTE UNA EVOLUCION DE NUESTRO PROYECTO COORDINADO PREVIO TRACES, PERO EN ESTE CASO SE PONE MENOS EL FOCO SOBRE EL ANALISIS DE RECURSOS, Y SE CUBREN TEMAS DE ANALISIS, VERIFICACION, ETC,, QUE SON TEMAS RELEVANTES DEBIDO A LA CRECIENTE IMPORTANCIA DE ASEGURAR LA INTEGRIDAD DEL SOFTWARE, PRETENDEMOS EXPLOTAR LAS SINERGIAS EXISTENTES ENTRE LOS DOS GRUPOS DE INVESTIGACION DE LA PROPUESTA, COMO SE MUESTRA EN EL HECHO DE QUE EN TODAS LAS SUBLINEAS DE INVESTIGACION HAY IMPLICADOS INVESTIGADORES DE AMBOS GRUPOS, VERIFICACION\TESTING\ANALISIS\OPTIMIZACION\COMPILACION\ENERGIA\NUEVAS PLATAFORMAS\METODOS FORMALES
ver más
Línea de financiación: concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2019-01-01
Presupuesto
El presupuesto total del proyecto asciende a
109K€
Líder del proyecto
IMDEA SOFTWARE INSTITUTE
No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico
TRL
4-5
650K
Perfil tecnológico
TRL
4-5
650K