Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

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 3273

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

0% 100%

Participantes

UCM

Lider

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

Últimas noticias

30-11-2024: Cataluña Gestión For... Se ha cerrado la línea de ayuda pública: Gestión Forestal Sostenible para Inversiones Forestales Productivas para el organismo:

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

Líder del proyecto

Universidad Complutense de Madrid

Total investigadores 3273

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores