Keeping P4 switches fast and fault-free through automatic verification

Lukács, Dániel and Pongrácz, Gergely and Tejfel, Máté: Keeping P4 switches fast and fault-free through automatic verification. In: Conference of PhD Students in Computer Science, (11). pp. 52-55. (2018)

Cikk, tanulmány, mű

Download (273kB) | Preview


The SDN dataplane is going through a paradigm shift, as softwarization of switches sees an increased pull from the market. Yet, software tooling to support development with these new technologies is still in its infancy. In this work, we introduce a framework for verifying data plane protocols defined in the P4 language. Using symbolic execution, the framework checks crash-freedom and bounded execution properties of P4 protocols, and verifies performance requirements by estimating lower and upper bounds of packet processing time. This paper explains related terminology, and briefly describes the methodologies used to reach this goal.

Item Type: Article
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2018
Volume: 11
Page Range: pp. 52-55
Event Title: Conference of PhD students in computer science (11.) (2018) (Szeged)
Uncontrolled Keywords: Számítástechnika - előadáskivonat, Programozás - előadáskivonat
Additional Information: Bibliogr.: 55. p. ; összefoglalás angol nyelven
Date Deposited: 2019. Oct. 28. 11:49
Last Modified: 2019. Oct. 28. 11:49

Actions (login required)

View Item View Item