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

EUIN2015-62768

Financiado

ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE CONCURRENTE

LA VERIFICACION DE PROGRAMAS CONCURRENTES ES UNA TAREA QUE PLANTEA NOTABLES DIFICULTADES, QUE RADICAN EN LA INCAPACIDAD DE LOS METODOS EXISTENTES PARA APROXIMARSE AL PROBLEMA DE LA VERIFICACION DE UNA MANERA MODULAR, ES DECIR, SIG... ver más

01/01/2015

IMDEA SOFTWARE INS...

3K€

Presupuesto del proyecto: 3K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

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

IMDEA SOFTWARE INSTITUTE

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

TIN2016-81699-ERC ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C... 75K€ Cerrado

BES-2016-077136 TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 93K€ Cerrado

TIN2013-44742-C4-3-R VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIO... 188K€ Cerrado

BES-2009-015019 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 43K€ Cerrado

EEBB-I-12-05620 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 2K€ Cerrado

RYC-2017-22836 Model-Based Assurance of Critical Systems 309K€ Cerrado

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Presupuesto del proyecto 3K€

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

Descripción del proyecto LA VERIFICACION DE PROGRAMAS CONCURRENTES ES UNA TAREA QUE PLANTEA NOTABLES DIFICULTADES, QUE RADICAN EN LA INCAPACIDAD DE LOS METODOS EXISTENTES PARA APROXIMARSE AL PROBLEMA DE LA VERIFICACION DE UNA MANERA MODULAR, ES DECIR, SIGUIENDO EL PRINCIPIO DE DIVIDE ET IMPERA,LOS TIPOS DEPENDIENTES CONSTITUYEN UN METODO FORMAL BIEN CONOCIDO POR SU HABILIDAD PARA IMPLEMENTAR PRUEBAS MATEMATICAS MODULARES Y AUMENTADAS EN ESCALA, PERO, EN EL CONTEXTO DE LA PROGRAMACION, LOS TIPOS DEPENDIENTES SE CONSIDERAN LIMITADOS RESPECTO A UN MODELO DE COMPUTACION PURAMENTE FUNCIONAL Y QUE TERMINA,EL PRESENTE PROYECTO PRETENDE ELIMINAR ESTA LIMITACION Y ESCALAR A LOS TIPOS DEPENDIENTES PARA FACILITAR SIMULTANEAMENTE LA IMPLEMENTACION DE LOS PROGRAMAS CONCURRENTES CON ESTADO MUTABLE, ASI COMO LAS PRUEBAS DE SU EXACTITUD, APLICANDO EL PODER DE MODULARIZACION DE LOS TIPOS DEPENDIENTES A LOS PROGRAMAS Y LAS PRUEBAS SIMULTANEAMENTE, ESTE PROYECTO PRETENDE CONSEGUIR NUEVOS Y ESCALABLES FUNDAMENTOS EN EL CAMPO DE LA VERIFICACION DE PROGRAMAS CONCURRENTES,LA COMPOSICION MECANIZADA DE LAS PRUEBAS DE SOFTWARE (CONCURRENTE O NO) ES CONSIDERADA GENERALMENTE IMPRACTICABLE, SIN EMBARGO NOSOTROS ARGUMENTAMOS QUE ESTO NO TIENE QUE SER ASI SI SE SELECCIONAN CORRECTAMENTE LAS ABSTRACCIONES LINGUISTICAS PARA EXPRESAR LAS PRUEBAS, ESTA OBSERVACION SE APOYA EN NUESTROS RESULTADOS PRELIMINARES, LOS CUALES HAN SIDO BASTANTE ALENTADORES, EL PROYECTO PRETENDE DESCUBRIR NUEVAS ABSTRACCIONES LINGUISTICAS QUE FACILITARAN LA CREACION PRACTICABLE DE PRUEBAS FORMALES, Y PROPORCIONARAN UNA EVALUACION EXPERIMENTAL POR MEDIO DE LA VERIFICACION MECANIZADA DE PROGRAMAS CONCURRENTES EXTENSIVOS DERIVADOS DE CONTEXTOS REALISTICOS, TAL COMO LOS GARBAGE COLLECTORS CONCURRENTES, NUCLEOS DE SISTEMAS OPERATIVOS Y LIBRERIAS POPULARES CONCURRENTES DE OPEN SOURCE,ESTE ES UN PROYECTO DE ALTO RIESGO YA QUE PRETENDE PROPORCIONAR NUEVOS FUNDAMENTOS PARA LA VERIFICACION CONCURRENTE, CUYO DESARROLLO REQUIERE DE UNA INTERCALACION PROFUNDA DE LAS TEORIAS LOGICAS Y DE LA SEMANTICA DE PROGRAMAS CON PRUEBAS FORMALES, PERO AL MISMO TIEMPO EL PROYECTO OFRECE GRANDES BENEFICIOS, PORQUE EL AUMENTO DE ESCALA DE LA VERIFICACION CONCURRENTE ES EL PROBLEMA MAS PROMINENTE EN EL CAMPO DE LOS LENGUAJES CONTEMPORANEOS DE PROGRAMACION Y LA INVESTIGACION DE SUS SEMANTICAS, CIENCIA DE LA COMPUTACIÓN TEÓRICA\MÉTODFS FORMALES Y COMPUTACIÓN CUANTICA\INGENIERÍA DEL SOFTWARE\SISSTEMAS OPERATIVOS\LENGUAJES DE ORDENADOR\VERFICIACIÓN DE SOFTWARE\CONCURRENCIA\TEORÍA TIPO-DEPENDIENTE\LÓGICA DE HORAE

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores