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

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... ver más

01/01/2019

IMDEA SOFTWARE INS...

109K€

Presupuesto del proyecto: 109K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

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

0% 100%

Participantes

IMDEA SOFTWARE INSTITUTE

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-108528RB-C22 METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE... 209K€ Cerrado

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ Cerrado

TIN2009-14599-C03-03 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 159K€ Cerrado

TIN2009-14599-C03-02 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 308K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Presupuesto del proyecto 109K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidó su contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores