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

TIN2012-38137-C02-02

Financiado

Cerrado

TECNICAS ESCALABLES PARA LA VALIDACION DE APLICACIONES CONCURRENTES

EN EL DESARROLLO DE SOFTWARE A NIVEL INDUSTRIAL, EL PROCESO DE VALIDACION COBRA CADA DIA UNA MAYOR IMPORTANCIA. SE ESTIMA QUE LA PROPORCION DEL COSTE DE VALIDACION ES MAYOR DEL 50% DEL COSTE TOTALDE DESARROLLO DE SOFTWARE. CON EL... ver más

01/01/2012

UCM

112K€

Presupuesto del proyecto: 112K€

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 3281

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-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

TIN2012-38137-C02-01 TECNICAS AVANZADAS DE VERIFICACION DE APLICACIONES CONCURREN... 115K€ Cerrado

SAFE Safety Analysis of Concurrent Systems 150K€ Cerrado

TIN2013-46928-C3-3-R MECANISMOS GUIADOS EN ETAPAS TEMPRANAS PARA LA MEJORA DEL SO... 149K€ Cerrado

RYC2021-031523-I Supporting software maintenance and evolution with automated... 236K€ Cerrado

TIN2011-24278 ACTUALIZACION DEL DESARROLLO DE APLICACIONES MULTICAPA BASAD... 5K€ Cerrado

TIN2012-34945 PATTERN: PRODUCT LINE AND TRANSFORMATION TECNIQUES IN THE MU... 15K€ 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 3281

Presupuesto del proyecto 112K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EN EL DESARROLLO DE SOFTWARE A NIVEL INDUSTRIAL, EL PROCESO DE VALIDACION COBRA CADA DIA UNA MAYOR IMPORTANCIA. SE ESTIMA QUE LA PROPORCION DEL COSTE DE VALIDACION ES MAYOR DEL 50% DEL COSTE TOTALDE DESARROLLO DE SOFTWARE. CON EL AUMENTO DE COMPLEJIDAD, EL USO CADA VEZ MAS EXTENDIDO DE LA CONCURRENCIA Y LA UTILIZACION DE SOFTWARE EN CONTEXTOS CRITICOS, LA TENDENCIA ES SIN DUDA A AUMENTAR DICHA PROPORCION. RESULTA POR TANTO CADA VEZ MAS NECESARIO ESTUDIAR Y DESARROLLAR TECNICAS QUE PERMITAN AUTOMATIZAR, AL MENOS PARCIALMENTE, EL PROCESO DE VALIDACION DE SOFTWARE CONCURRENTE.EL PROYECTO TELCO TIENE COMO OBJETIVO FUNDAMENTAL EL ESTUDIO Y DESARROLLO DE TECNICAS ESCALABLES PARA LA VALIDACION DE APLICACIONES CONCURRENTES, CONSIDERANDOSE TANTO EL MODELO DE CONCURRENCIA DEOBJETOS CONCURRENTES COMO EL MULTI-HILO.LAS CARACTERISTICAS INHERENTES DEL MODELO DE LOS OBJETOS CONCURRENTES HACEN MAS SENCILLO EL RAZONAMIENTO FORMAL ACERCA DE SU COMPORTAMIENTO. ES POR ELLO QUE, COMO METODOLOGIA GENERAL EN ESTESUB-PROYECTO, CONSIDERAREMOS PRIMERAMENTE ESTE MODELO DE CONCURRENCIA A LA HORA DE DESARROLLAR NUESTRAS TECNICAS DE VALIDACION. DADO QUE EL MODELO MULTI-HILO ES AUN EL MODELO DE CONCURRENCIA MAS AMPLIAMENTE UTILIZADO, ESTUDIAREMOS POSTERIORMENTE LA EXTENSION DE LAS TECNICAS PROPUESTAS PARA SU APLICACION EN EL MODELO MULTI-HILO.COMO TECNOLOGIA DE BASE SE UTILIZARA LA TECNICA DE LA EJECUCION SIMBOLICA DE PROGRAMAS. LA EJECUCION SIMBOLICA ES UNA TECNICA DE ANALISIS DE PROGRAMAS QUE CONSISTE EN EJECUTAR UN PROGRAMA USANDO VALORES SIMBOLICOS (O VARIABLES) EN LUGAR DE VALORES CONCRETOS. AL UTILIZAR VALORES SIMBOLICOS LA EJECUCION PASA A SER INDETERMINISTA AL TENERSE QUE CONSIDERAR TODAS LAS POSIBLES DECISIONES(COMPATIBLES CON DECISIONES ANTERIORES) EN CADA BIFURCACION DEL PROGRAMA. COMO RESULTADO, LA EJECUCION SIMBOLICA ACUMULA UN SISTEMA DE RESTRICCIONES PARA CADA CAMINO DEL PROGRAMA. EN ESENCIA, LA EJECUCION SIMBOLICA PERMITE HACER RAZONAMIENTOS SOBRE PROGRAMAS A BASE DEOBSERVAR SUS POSIBLES COMPORTAMIENTOS. DADO QUE EL NUMERO DE COMPORTAMIENTOS DE UN PROGRAMA ES EN GENERAL INFINITO RESULTA NECESARIO ESTABLECER ALGUN CRITERIO DE TERMINACION. LA EJECUCION SIMBOLICA SE PUEDE USAR COMO TECNOLOGIA DE BASE TANTO PARA LA VERIFICACION COMO LA VALIDACION DE PROGRAMAS. EN EL CASO DE LA VERIFICACION DE PROGRAMAS NORMALMENTE LA ESTRATEGIA DE TERMINACION SUELE ESTAR BASADA EN LA DEFINICION DE ALGUN TIPO DE ABSTRACCION JUNTO CON LA DE UN OPERADOR DE PUNTO FIJO, LO QUE PERMITE EN GENERAL HACER RAZONAMIENTOS ABSOLUTOS EN CUANTO A LACORRECCION DE LOS PROGRAMAS. EN EL CASO DE LA VALIDACION DE PROGRAMAS, NORMALMENTE SE ESTABLECE ALGUN CRITERIO DE RECUBRIMIENTO QUE DEFINE UN SUBCONJUNTO FINITO DE LAS RAMAS DE EJECUCION ACONSIDERAR. ESTA INCOMPLETITUD LLEVA COMO CONSECUENCIA QUE ESTAS TECNICAS NO PUEDAN NUNCA DEMOSTRAR LA AUSENCIA DE ERRORES EN PROGRAMAS, SINO SOLO SU PRESENCIA. ESTA CARACTERISTICA ES A LA VEZ EL GRAN DEFECTO Y TAMBIEN LA RAZON DE LA APLICABILIDAD EN LA PRACTICA DE ESTAS TECNICAS.ES BIEN CONOCIDO QUE LA ESCALABILIDAD ES EL PROBLEMA FUNDAMENTAL A LA HORA DE APLICAR LA EJECUCION SIMBOLICA EN CONTEXTOS REALISTAS (SOFTWARE A NIVEL INDUSTRIAL). EN ESTE SENTIDO SE ESTUDIARAN UNA SERIEDE TECNICAS COMPLEMENTARIAS QUE PERMITAN PALIAR ESTE PROBLEMA.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores