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. Véas: El vocabulario científico europeo..
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. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información internet
- ciencias sociales sociología relaciones laborales automatización
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
ERC-STG - Starting Grant
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2019-STG
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
8092 Zuerich
Suiza
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.