Opis projektu
Usprawnienie rozwoju sieci dzięki przyjęciu nowej metody
Na przestrzeni ostatnich kilkudziesięciu lat świat wykorzystywał sieci w celu realizacji wielu zadań, od świadczenia usług internetowych czy obsługi połączeń alarmowych, aż po wdrażanie złożonych systemów i platform. W sieciach tych występuje jednak szereg krytycznych problemów wynikających z błędnych konfiguracji wprowadzonych przez ludzi. Błędy te wynikają przede wszystkim z ogromnej luki uniemożliwiającej przekształcanie często złożonych wymagań oraz potrzeb na niskopoziomowe konfiguracje urządzeń, a także podejmowane przez operatorów sieci próby ręcznego wypełnienia tej luki. Celem finansowanego przez Unię Europejską projektu SyNET jest opracowanie innowacyjnego rozwiązania, jakim jest synteza oparta na połączeniu formalnych procedur i modeli probabilistycznych z intuicyjnymi interfejsami użytkownika w celu automatycznego tworzenia niskopoziomowych konfiguracji na podstawie złożonych wymagań. Nowe rozwiązanie ma być przyjazne dla użytkowników, niezawodne oraz nastawione na wysoką wydajność.
Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka internet
- nauki społeczne socjologia stosunki przemysłowe automatyzacja
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Słowa kluczowe
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
GŁÓWNY PROGRAM
Wyświetl wszystkie projekty finansowane w ramach tego programu
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
ERC-STG - Starting Grant
Wyświetl wszystkie projekty finansowane w ramach tego programu finansowania
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
(odnośnik otworzy się w nowym oknie) ERC-2019-STG
Wyświetl wszystkie projekty finansowane w ramach tego zaproszeniaInstytucja przyjmująca
Kwota netto dofinansowania ze środków Unii Europejskiej. Suma środków otrzymanych przez uczestnika, pomniejszona o kwotę unijnego dofinansowania przekazanego powiązanym podmiotom zewnętrznym. Uwzględnia podział unijnego dofinansowania pomiędzy bezpośrednich beneficjentów projektu i pozostałych uczestników, w tym podmioty zewnętrzne.
8092 Zuerich
Szwajcaria
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.