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

Financiado

TECNICAS AVANZADAS DE VERIFICACION DE APLICACIONES CONCURRENTES

LA PROGRAMACION DISTRIBUIDA Y CONCURRENTE ESTA EVOLUCIONANDO MUY DEPRISA EN LAS ULTIMAS DECADAS DEBIDO PRINCIPALMENTE AL USO CADA VEZ MAS EXTENDIDO DE PROCESADORES MULTI-CORE Y A SU EFECTO EN LAPRODUCCION DE SOFTWARE. POR TODO EL... ver más

01/01/2012

UPM

115K€

Presupuesto del proyecto: 115K€

Líder del proyecto

UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3944

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%

Participantes

UPM

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-02 TECNICAS ESCALABLES PARA LA VALIDACION DE APLICACIONES CONCU... 112K€ Cerrado

TIN2015-71819-P TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 108K€ Cerrado

PARSe Program Analysis and Reorganization as a Service 150K€ Cerrado

EUIN2017-89198 INTERPRETACION HIPERABSTRACTA: ANALIZANDO LOS PROBLEMAS DEL... 8K€ Cerrado

TIN2010-20057-C03-01 METODOS DE PRUEBA PARA APLICACIONES CON BASES DE DATOS Y SER... 68K€ Cerrado

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

Líder del proyecto

UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3944

Presupuesto del proyecto 115K€

Descripción del proyecto LA PROGRAMACION DISTRIBUIDA Y CONCURRENTE ESTA EVOLUCIONANDO MUY DEPRISA EN LAS ULTIMAS DECADAS DEBIDO PRINCIPALMENTE AL USO CADA VEZ MAS EXTENDIDO DE PROCESADORES MULTI-CORE Y A SU EFECTO EN LAPRODUCCION DE SOFTWARE. POR TODO ELLO, RESULTA MUY INTERESANTE Y DECISIVO EL PROBLEMA DE DESARROLLAR TECNICAS PARA ENTENDER, ANALIZAR Y VERIFICAR EL COMPORTAMIENTO DE DICHOS PROGRAMAS. LOS LENGUAJES DE PROGRAMACION QUE SOPORTAN CONCURRENCIA DIFIEREN PRINCIPALMENTE EN EL MODELO DE CONCURRENCIA SUBYACENTE. SE PUEDEN DISTINGUIR DOS GRANDES MODELOS: EL BASADO EN HILOS (MULTITHREADED) Y EL BASADO EN OBJETOS CONCURRENTES. EN EL PRIMERO, TIPICO POR EJEMPLO DEL LENGUAJE JAVA, SE PROPORCIONAN AL PROGRAMADOR SOFISTICADOS MECANISMOS QUE LE PERMITEN CONTROLAR TODOS LOS ASPECTOS DE UN HILO (THREAD) DEL PROGRAMA. EN EL SEGUNDO MODELO SOLO SE FACILITAN MECANISMOS DECONCURRENCIA DE ALTO NIVEL, SIN CENTRARSE EN LAS PRIMITIVAS DE CONCURRENCIA SUBYACENTES. PESE A QUE LOS MODELOS BASADOS EN HILOS SON MAS EXPRESIVOS QUE LOS BASADOS EN OBJETOS CONCURRENTES, EL USO DE PRIMITIVAS DE BAJO NIVEL PARA CONTROLAR LAS HEBRAS HACE QUE LAS HERRAMIENTAS EXISTENTESDE ANALISIS ESTATICO PARA ESTE MODELO SEAN A MENUDO POCO PRECISAS E INEFICIENTES PARA TRATAR PROGRAMAS DE CIERTO TAMAÑO. POR EL CONTRARIO, EL MODELO DE OBJETOS CONCURRENTES, AUNQUE ESMAS RESTRICTIVO, ES SUFICIENTE PARA MODELAR EL COMPORTAMIENTO DE GRAN CANTIDAD DE APLICACIONES, COMO POR EJEMPLO LOS SISTEMAS DISTRIBUIDOS. ADEMAS, DEBIDO A SU RELATIVA SENCILLEZ, ES MASFACIL DESARROLLAR ANALISIS ESTATICOS DE UNA EFICIENCIA Y ESCALABILIDAD ACEPTABLES.EN ESTE SUBPROYECTO ESTUDIAREMOS Y DESARROLLAREMOS, PARA AMBOS MODELOS DE CONCURRENCIA, DISTINTOS ANALISIS ESTATICOS QUE NOS PERMITIRAN VERIFICAR DE FORMA AUTOMATICA PROPIEDADES CONCRETAS DE UN PROGRAMA EN TIEMPO DE EJECUCIṕN. PARA EL MODELO DE OBJETOS CONCURRENTES TENDRA ESPECIALRELEVANCIA LOS ANALISIS ESTATICOS ORIENTADOS A OPTIMIZAR LA DISTRIBUCION DE TAREAS ENTRE PROCESADORES DE TAL MANERA QUE LA EJECUCION DE LA APLICACION DISTRIBUIDA SEA EFICIENTE. PARA CONSEGUIR ESCALABILIDAD, INTRODUCIREMOS TECNICAS DE ANALISIS MODULAR E INCREMENTAL, QUE PERMITEN REUTILIZAR PARTE DE LA INFORMACION INFERIDA CON ANTERIORIDAD. PARA EL MODELO MULTIHILO, QUE HABITUALMENTE NO PONE RESTRICCIONES SOBRE EL USO DE LAS PRIMITIVAS DE CONCURRENCIA POR LO QUE LAS TECNICAS DE ANALISIS ESTATICO SE VUELVEN INVIABLES, IDENTIFICAREMOSCIERTOS PATRONES SOBRE LOS CUALES APLICAR LOS ANALISIS ESTATICOS DESARROLLADOS PARA EL MODELO DE OBJETOS. TODOS LOS RESULTADOS TEORICOS SERAN IMPLEMENTADOS DENTRO DE UN PROTOTIPO A TRAVES DEL CUAL PODREMOS OBSERVAR LA PRACTICABILIDAD DE LOS ANALISIS PROPUESTOS.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores