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.

[img] PDF
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:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page