Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Conecta con

+150K Proyectos

+300K Empresas

+230 Financiaciones

¿Te ayudamos?

Ejemplos de búsqueda

Vídeos Explicativos

SyNET

Financiado

Cerrado

From Network Verification to Synthesis Breaking New Ground in Network Automatio...

From Network Verification to Synthesis Breaking New Ground in Network Automation 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... ver más

31/10/2025

ETH Zürich

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH No se ha especificado una descripción o un objeto social para esta compañía.

Fecha límite participación Sin fecha límite de participación.

Ver 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2019-09-18

ERC-2019-STG: ERC Starting Grant Scope:Objectives

I+D

Cerrada hace 6 años

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

3 Participantes

ETH Zürich

1.50M€ | Lider

RESIDUOS DE ALUMINIO

235.80K€ | Participante

SIDENOR ACEROS ESPECIALES

181.07K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 73 meses Fecha Inicio: 2019-09-18
Fecha Fin: 2025-10-31

Líder del proyecto

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH No se ha especificado una descripción o un objeto social para esta compañía.

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

Forgot your password?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores

¿Que es innovating.works? Piérdete en el mejor buscador de empresas innovadoras que nunca hayas visto, mira cómo se financia tu competencia, conecta con ese partner que no conocías, descubre proyectos de I+D que te necesitan y mucho, mucho más a un click.

Motor inteligente empresa-financiación Innovating tiene un perfil tecnológico financiero de 400.000 empresas gracias al cual sabe a qué ayuda puede ir o no cualquier empresa de forma automática. Parece magia pero es tecnología.

Crea tu proyecto y encuentra partners ¿Tienes un proyecto y buscas un partner? Una Universidad, Centro Tecnológico, Consultoría? Este es tu sitio. Gracias al motor de búsqueda podemos recomendarte los mejores socios y ponerte en contacto con ellos.