Innovating Works

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... 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, ver más
01/01/2010
IMDEA SOFTWARE INS...
44K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01
Presupuesto El presupuesto total del proyecto asciende a 44K€
Líder del proyecto
IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico TRL 4-5 650K