Safe Networks using P4 Programs

Informacje na temat projektu

SafeNet

Identyfikator umowy o grant: 875690

DOI

10.3030/875690

Projekt został zamknięty

Data podpisania przez KE 26 Sierpnia 2019

Data rozpoczęcia 1 Września 2019

Data zakończenia 31 Maja 2021

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

Brak danych

Wkład UE

€ 150 000,00

Koordynowany przez

CORRECT NETWORKS SRL
Romania

Periodic Reporting for period 1 - SafeNet (Safe Networks using P4 Programs)

Okres sprawozdawczy: 2019-09-01 do 2021-05-31

Podsumowanie kontekstu i ogólnych celów projektu

SafeNet aims to help operators run performant, robust datacenter networks. The project's starting point was network verification of P4 programs developed in the CORNET ERC project, with the goal of transitioning the academic research into real network verification products.

The project involved close collaborations with two network equipment vendors, a major cloud and a major telco operator to guide the search for a deployable product. The result is a novel network performance verification that builds upon our starting point (P4 verification) and existing control and plane verification works in the literature to provide performance verification: runtime, passive monitoring of datacenter network performance to test that it behaves as expected.

We have finalised a prototype of EQDSmon, our solution, and have deployed it in trials with a telco operator that is deploying a datacenter network for its 5G core elements. EQDSmon is now the basis of an exponential growth phase that CNW will engage on starting 2022.