Opendata, web and dolomites

SyNET SIGNED

From Network Verification to Synthesis: Breaking New Ground in Network Automation

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "SyNET" data sheet

The following table provides information about the project.

Coordinator
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH 

Organization address
address: Raemistrasse 101
city: ZUERICH
postcode: 8092
website: https://www.ethz.ch/de.html

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Switzerland [CH]
 Total cost 1˙500˙000 €
 EC max contribution 1˙500˙000 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2019-STG
 Funding Scheme ERC-STG
 Starting year 2019
 Duration (year-month-day) from 2019-11-01   to  2024-10-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH CH (ZUERICH) coordinator 1˙500˙000.00

Map

 Project objective

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.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SYNET" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SYNET" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

PROGRESS (2019)

The Enemy of the Good: Towards a Theory of Moral Progress

Read More  

SuperH (2019)

Discovery and Characterization of Hydrogen-Based High-Temperature Superconductors

Read More  

ii-MAX (2020)

Unravelling new immunity-independent mechanisms for durable resistance to blast fungi using MAX effectors

Read More