Innovating Works

TIN2016-76843-C4-1-R

Financiado
METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO
INTERNET ES HOY EN DIA UN AGENTE INEVITABLE Y VERTEBRADOR DE NUESTRA SOCIEDAD A TODOS LOS NIVELES. SE HA CONVERTIDO EN UN COMPONENTE IMPRESCINDIBLE EN LO ECONOMICO, EN LO SOCIAL Y, POR SUPUESTO, EN LO TECNOLOGICO. COMO TODA REVOLU... INTERNET ES HOY EN DIA UN AGENTE INEVITABLE Y VERTEBRADOR DE NUESTRA SOCIEDAD A TODOS LOS NIVELES. SE HA CONVERTIDO EN UN COMPONENTE IMPRESCINDIBLE EN LO ECONOMICO, EN LO SOCIAL Y, POR SUPUESTO, EN LO TECNOLOGICO. COMO TODA REVOLUCION, INTERNET ABRE UN MUNDO DE POSIBILIDADES Y DE IDEAS, QUE ADEMAS SON ACCESIBLES PARA CUALQUIER PERSONA. SIN EMBARGO, TAL INMENSIDAD DE INFORMACION Y, ESPECIALMENTE, EL ENORME CRECIMIENTO QUE SIGUE EXPERIMENTANDO INTERNET EXIGE EL DESARROLLO DE PROTOCOLOS, LENGUAJES Y TECNOLOGIAS QUE INTRODUZCAN ORDEN Y CONTROLEN LA ENTROPIA DEL SISTEMA. EN ESTE PROYECTO, PENSAMOS QUE EL DESARROLLO DE TECNOLOGIAS PARA EL INTERNET DEL FUTURO DEBE REGIRSE POR METODOS PRECISOS Y RIGUROSOS QUE PERMITAN PREDECIR O INCLUSO DEMOSTRAR PROPIEDADES DEL SISTEMA, Y QUE LIMITEN LOS ERRORES, O PERMITAN RECUPERARSE DE ELLOS EN TIEMPO REAL. POR ELLO, PENSAMOS QUE EL USO DE TECNICAS RIGUROSAS, FORMALES O CON UNA IMPORTANTE COMPONENTE MATEMATICA EN SU DEFINICION SON ESENCIALES PARA GARANTIZAR LA CALIDAD. EL PRINCIPAL OBJETIVO DEL PROYECTO MERINET ES PUES CONTRIBUIR AL AVANCE DE LA INVESTIGACION CON TECNICAS RIGUROSAS PARA MEJORAR LA FIABILIDAD Y UTILIDAD DEL SOFTWARE EN GENERAL Y DE LAS APLICACIONES PARA INTERNET, EN PARTICULAR. DE ESTE MODO, EL PROYECTO PERSIGUE COLABORAR EN LA MEJORA DEL INTERNET DEL FUTURO, CONTRIBUYENDO TAMBIEN A INCREMENTAR LA COMPETITIVIDAD DE LA INDUSTRIA DEL DESARROLLO DE SOFTWARE EN NUESTRO PAIS Y LAS POSIBILIDADES DE TRANSFERENCIA DE CONOCIMIENTO ENTRE LA UNIVERSIDAD Y LAS EMPRESAS ESPAÑOLAS, PARA QUE ESTAS PUEDAN HACER FRENTE A LOS RETOS ACTUALES DE LA INDUSTRIA. POR TODO ELLO, EN EL PRESENTE PROYECTO PLANTEAMOS LA INVESTIGACION DE NUEVOS METODOS Y TECNICAS RIGUROSOS PARA CONTRIBUIR A MEJORAR EL INTERNET DEL FUTURO A DIFERENTES NIVELES:- EXTRACCION DE INFORMACION. SE TRATA DE UNA TAREA ESENCIAL EN LA ACTUALIDAD, HABIDA CUENTA DEL VOLUMEN INMENSO DE INFORMACION QUE PUEDE ENCONTRARSE EN LA RED. EN ESTE PROYECTO, DESARROLLAREMOS NUEVAS TECNICAS DE EXTRACCION DE INFORMACION Y HAREMOS USO DE TECNOLOGIA FUZZY PARA MEJORAR SU EXPRESIVIDAD.- VALIDACION Y DEPURACION. LAS APLICACIONES DESARROLLADAS PARA INTERNET SON CADA VEZ MAS COMPLEJAS: SE TRATA DE APLICACIONES MULTI-PARADIGMA, CON UN ALTO GRADO DE CONCURRENCIA, Y REQUIEREN UNA TOLERANCIA A FALLOS IMPORTANTE. EN ESTE CONTEXTO, PROPONEMOS EL USO DE METODOS RIGUROSOS PARA DEFINIR NUEVAS TECNICAS DE ANALISIS Y DEPURACION DE APLICACIONES, PRINCIPALMENTE EN LOS LENGUAJES JAVA Y ERLANG, DOS DE LOS MAS POPULARES EN ESTE AMBITO. NTERNET\LÓGICAS\MÉTODOS RIGUROSOS ver más
01/01/2016
UPV
78K€
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 2016-01-01
Presupuesto El presupuesto total del proyecto asciende a 78K€
Líder del proyecto
UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 683