Safe Networks using P4 Programs

Información del proyecto

SafeNet

Identificador del acuerdo de subvención: 875690

DOI

10.3030/875690

Proyecto cerrado

Fecha de la firma de la CE 26 Agosto 2019

Fecha de inicio 1 Septiembre 2019

Fecha de finalización 31 Mayo 2021

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

Sin datos

Aportación de la UE

€ 150 000,00

Coordinado por

CORRECT NETWORKS SRL
Romania

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

Período documentado: 2019-09-01 hasta 2021-05-31

Resumen del contexto y de los objetivos generales del proyecto

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.