Project description
Improving network development by adopting a new method
In the past few decades, the world has been depending on networks for many tasks like the provision of internet services, emergency calls, complex systems and platforms. But these networks due to human-induced misconfigurations have been plagued by some big problems. These errors are caused by the fundamental gap between turning complex requirements and needs into low-level device configurations and the attempt by network operators to bridge this gap manually. The EU-funded SyNET project aims to bridge this gap with an innovative solution that is the development of user-aware, robustness-aware and performance-aware synthesis, by mixing formal procedures and probabilistic models with the user-intuitive interfaces to automatically produce low-level device configurations from complex requirements.
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences internet
- social sciences sociology industrial relations automation
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
ERC-STG - Starting Grant
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) ERC-2019-STG
See all projects funded under this callHost institution
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
8092 Zuerich
Switzerland
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.