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

Cerrado

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 3945

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

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

VELOX VELOX An Integrated Approach to Transactional Memory on Mul... 4M€ Cerrado

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

VAPLCS Verification Aware Programming Language Concurrency Semantic... 1M€ Cerrado

SAFE Safety Analysis of Concurrent Systems 150K€ Cerrado

TRANSFORM TransForm Theoretical Foundations of Transactional Memory 2M€ 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 3945

Presupuesto del proyecto 115K€

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

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