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

TIN2010-20639

Financiado

VERIFICACION PARAMETRIZADA DE SISTEMAS INFORMATICOS

EL OBJETIVO GENERAL DEL PROYECTO ES DESARROLLAR NUEVAS TECNICAS PARA LA PRODUCCION, VERIFICACION Y CERTIFICACION DE SISTEMAS INFORMATICOS EN LOS QUE LOS PARAMETROS DESEMPEÑAN UN PAPEL ESENCIAL, DICHOS PARAMETROS, YA SEA A NIVEL... ver más

01/01/2010

IMDEA SOFTWARE INS...

44K€

Presupuesto del proyecto: 44K€

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€

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01 No tenemos la información de la convocatoria

0% 100%

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

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ 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-02 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 308K€ Cerrado

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ 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 44K€

Descripción del proyecto EL OBJETIVO GENERAL DEL PROYECTO ES DESARROLLAR NUEVAS TECNICAS PARA LA PRODUCCION, VERIFICACION Y CERTIFICACION DE SISTEMAS INFORMATICOS EN LOS QUE LOS PARAMETROS DESEMPEÑAN UN PAPEL ESENCIAL, DICHOS PARAMETROS, YA SEA A NIVEL DE LA ESPECIFICACION DEL SISTEMA O A NIVEL DE LA TECNICA DE VERIFICACION, PERMITEN ABORDAR TANTO TEMAS DE ESCALABILIDAD COMO PROBLEMAS DE INDECIDIBILIDAD, SIN EMBARGO, LA ESPECIFICACION Y LA VERIFICACION EN PRESENCIA DE PARAMETROS SON ALTAMENTE NO TRIVIALES, Y TRAEN PROBLEMAS TANTO PARA LAS TECNICAS AUTOMATICAS COMO PARA LAS TECNICAS INTERACTIVAS PARA LA VERIFICACION DE SISTEMAS INFORMATICOS, AMBAS RELEVANTES EN LA PRACTICA, LOS METODOS DE VERIFICACION AUTOMATICA (TALES COMO EL "MODEL CHECKING") FUNCIONAN EXTREMADAMENTE BIEN CUANDO LAS PROPIEDADES DE CORRECCION DE INTERES SE PUEDEN DESCRIBIR CON LOGICAS DECIDIBLES, PERO PARA UNA VERIFICACION FUNCIONAL COMPLETA LA DECIDIBILIDAD ES INALCANZABLE Y LA VERIFICACION SE TIENE QUE LLEVAR A CABO EN UN DEMOSTRADOR DE TEOREMAS INTERACTIVO, PROPONEMOS INVESTIGAR LA PARAMETRIZACION EN RELACION CON AMBOS ENFOQUES, NUESTRA PROPUESTA ESTA ORGANIZADA EN TORNO A TRES LINEAS DE INVESTIGACION, A SABER: 1, MODEL-CHECKING DE SISTEMAS PARAMETRIZADOS, 2, MODEL-CHECKING PARAMETRICO Y 3, LENGUAJES Y LOGICAS DE PROGRAMACION PARA PARAMETRIZACION, EN ESTAS TRES LINEAS PROPONEMOS TANTO REALIZAR CONTRIBUCIONES FUNDAMENTALES QUE CONSTITUYAN UN AVANCE DEL ESTADO DEL ARTE COMO COMPLETAR IMPLEMENTACIONES DE PROTOTIPOS CON EL OBJETO DE EXPLORAR Y DEMOSTRAR DE LA RELEVANCIA PRACTICA DE LOS METODOS PROPUESTOS,

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores