Descripción del proyecto
Mejora del desarrollo de redes adoptando un nuevo método
En los últimos decenios, el mundo ha dependido de las redes para muchas tareas, como la prestación de servicios de internet, llamadas de emergencia, sistemas complejos y plataformas. Sin embargo, estas redes han experimentado problemas graves debido a los errores de configuración cometidos por las personas. Estos errores están causados por la brecha fundamental que existe entre la conversión de requisitos y necesidades complejos en configuraciones sencillas del dispositivo y el intento de los operadores de redes de salvar esta brecha de manera manual. El proyecto SyNET, financiado con fondos europeos, tiene por objeto hacerlo usando una solución innovadora que conlleva el desarrollo de una síntesis sensible al usuario, la robustez y el rendimiento mediante la combinación de procedimientos formales y modelos probabilísticos con interfaces intuitivas a fin de generar automáticamente configuraciones sencillas del dispositivo a partir de requisitos complejos.
Objetivo
Nearly half of Japan without Internet for hours; thousands of airline passengers grounded; 600+ emergency calls not received. These are just three recent illustrations of the consequences of human-induced network misconfigurations. Such errors are caused by a fundamental gap: distilling the high-level requirements network operators have in mind into complex, low-level device configurations. In 2018, network operators are still trying to bridge this gap manually.
The goal of this proposal is to address this gap by automatically synthesizing low-level configurations out of high-level requirements. This is a hard, inter-disciplinary challenge requiring development of new fundamental methods spanning multiple scientific fields including computer networks, programming languages, and probabilistic reasoning. Our vision is akin to program synthesis, a new programming paradigm in which “one tells the computer what to do, not how to do it”.
We propose to address this challenge via three work packages: (i) user-aware synthesis where we develop techniques to facilitate how operators communicate their intents and define the space of configurations to search over; (ii) robustness-aware synthesis where we develop synthesis techniques that can enforce probabilistic properties (e.g. minimum reliability level) in uncertain network environments; and (iii) performance-aware synthesis where we develop methods to synthesize more performant configurations (e.g. to make the network converge faster).
We believe SyNET will trigger a paradigm shift and spearhead the next generation of network management tools blending formal methods, probabilistic models, and user-intuitive interfaces. By alleviating the need to configure networks, SyNET promises to avoid the vast majority of downtimes plaguing today’s networks and to make tomorrow’s networks more flexible and, ultimately, more efficient.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
- ciencias naturalesinformática y ciencias de la informaciónsoftware
- ciencias naturalesinformática y ciencias de la informacióninternet
- ciencias socialessociologíarelaciones laboralesautomatización
- ingeniería y tecnologíaingeniería eléctrica, ingeniería electrónica, ingeniería de la informacióningeniería de la informacióntelecomunicaciónred de telecomunicaciones
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Programa(s)
Régimen de financiación
ERC-STG - Starting GrantInstitución de acogida
8092 Zuerich
Suiza