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-C22

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 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

UCM

209K€

Presupuesto del proyecto: 209K€

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UCM

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-C21 METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE... 109K€ Cerrado

TIN2008-05624 DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE 505K€ Cerrado

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

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

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

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

Presupuesto del proyecto 209K€

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,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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores