Lukács Dániel; Tejfel Máté; Pongrácz Gergely: Keeping P4 switches fast and fault-free through automatic verification. In: Acta cybernetica, (24) 1. pp. 61-81. (2019)
Előnézet |
Cikk, tanulmány, mű
actacyb_24_1_2019_061_081.pdf Letöltés (854kB) | Előnézet |
Absztrakt (kivonat)
The networking 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 performance requirement conformance of data plane protocols defined in the P4 language . We present a framework that transforms a P4 program in a versatile symbolic formula which can be utilized to answer various performance queries. We represented the system using denotational semantics and it can be easily extended with low-level target-dependent information. We demonstrate the operation of this system on a toy specification.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2019 |
| Kötet: | 24 |
| Szám: | 1 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 61-81 |
| Nyelv: | angol |
| Kiadó: | University of Szeged, Institute of Informatics |
| Kiadás helye: | Szeged |
| Konferencia neve: | Conference of PhD students in computer science (11.) (2018) (Szeged) |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/62212/ |
| DOI: | 10.14232/actacyb.24.1.2019.6 |
| Kulcsszavak: | Számítástechnika, Informatika |
| Megjegyzések: | Bibliogr.: p. 80-81. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2019. júl. 17. 13:18 |
| Utolsó módosítás: | 2022. jún. 21. 09:07 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/59228 |
 |
Tétel nézet |
