Lukács Dániel; Pongrácz Gergely; Tejfel Máté: Keeping P4 switches fast and fault-free through automatic verification.
Előnézet |
Cikk, tanulmány, mű
cscs_2018_065-068.pdf Letöltés (273kB) | Előnézet |
Absztrakt (kivonat)
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.
| Mű típusa: | Konferencia vagy workshop anyag |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Conference of PhD Students in Computer Science |
| Dátum: | 2018 |
| Kötet: | 11 |
| Oldalak: | pp. 52-55 |
| Konferencia neve: | Conference of PhD students in computer science (11.) (2018) (Szeged) |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/59477/ |
| Kulcsszavak: | Számítástechnika - előadáskivonat, Programozás - előadáskivonat |
| Megjegyzések: | Bibliogr.: 55. p. ; összefoglalás angol nyelven |
| Feltöltés dátuma: | 2019. okt. 28. 11:49 |
| Utolsó módosítás: | 2022. nov. 08. 10:18 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/61763 |
 |
Tétel nézet |
