University of Twente Student Theses
Log Parsing in Software-Defined Networking to generate DyNetKAT models
Goor, J.G.L. (2023) Log Parsing in Software-Defined Networking to generate DyNetKAT models.
|
PDF
466kB |
| Abstract: | Much like there is a need for validation within software engineering, a growing need is discovered within the networking world. This need comes from the novel research done in the software-defined networking domain, specifically regarding the OpenFlow protocol. There are a few solutions al- ready that allow for reasoning about computer networks, but these solutions require hand-crafting models before one has the ability to reason about them. Therefore, the implementation of a tool that analyses OpenFlow controllers for DyNetKAT model generation is proposed. The symantics and operators of DyNetKAT are discussed as well as the internal workings and the research this tool is built on. Finally, possible future research is uncovered. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/96275 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page