METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO

2016

AGENCIA ESTATAL DE INVESTIGACION

INV. COMPETITIVA PROYECTOS

Silva Galiana Josep Francesc

Internet es hoy en día un agente inevitable y vertebrador de nuestra sociedad a todos los niveles. Se ha convertido en un componente imprescindible en lo económico, en lo social y, por supuesto, en lo tecnológico. Como toda revolución, Internet abre un mundo de posibilidades y de ideas, que además son accesibles para cualquier persona. Sin embargo, tal inmensidad de información y, especialmente, el enorme crecimiento que sigue experimentando Internet exige el desarrollo de protocolos, lenguajes y tecnologías que introduzcan orden y controlen la entropía del sistema. En este proyecto, pensamos que el desarrollo de tecnologías para el Internet del futuro debe regirse por métodos 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 técnicas rigurosas, formales o con una importante componente matemática en su definición son esenciales para garantizar la calidad. El principal objetivo del proyecto MERINET es pues contribuir al avance de la investigación con técnicas 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 también a incrementar la competitividad de la industria del desarrollo de software en nuestro país 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 investigación de nuevos métodos y técnicas rigurosos para contribuir a mejorar el Internet del futuro a diferentes niveles: - Extracción de información. Se trata de una tarea esencial en la actualidad, habida cuenta del volumen inmenso de información que puede encontrarse en la red. En este proyecto, desarrollaremos nuevas técnicas de extracción de información y haremos uso de tecnología fuzzy para mejorar su expresividad. - Validación y depuración. Las aplicaciones desarrolladas para Internet son cada vez más complejas: se trata de aplicaciones multiparadigma, con un alto grado de concurrencia, y requieren una tolerancia a fallos importante. En este contexto, proponemos el uso de métodos rigurosos para definir nuevas técnicas de análisis y depuración de aplicaciones, principalmente en los lenguajes Java y Erlang, dos de los más populares en este ámbito.