Safe Networks using P4 Programs

Projektinformationen

SafeNet

ID Finanzhilfevereinbarung: 875690

DOI

10.3030/875690

Projekt abgeschlossen

EK-Unterschriftsdatum 26 August 2019

Startdatum 1 September 2019

Enddatum 31 Mai 2021

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 150 000,00

Koordiniert durch

CORRECT NETWORKS SRL
Romania

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

Berichtszeitraum: 2019-09-01 bis 2021-05-31

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

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.