Safe Networks using P4 Programs

Informazioni relative al progetto

SafeNet

ID dell’accordo di sovvenzione: 875690

DOI

10.3030/875690

Progetto chiuso

Data della firma CE 26 Agosto 2019

Data di avvio 1 Settembre 2019

Data di completamento 31 Maggio 2021

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

Nessun dato

Contributo UE

€ 150 000,00

Coordinato da

CORRECT NETWORKS SRL
Romania

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

Periodo di rendicontazione: 2019-09-01 al 2021-05-31

Sintesi del contesto e degli obiettivi generali del progetto

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.