University of Twente Student Theses
Automated detection of race conditions in DyNetKAT
Zvirbulis, E. (2024) Automated detection of race conditions in DyNetKAT.
|
PDF
955kB |
| Abstract: | Traditional network architectures have relied on special-purpose hardware since the 1970s. Such an approach limits network adaptability and increases set-up time. Software-Defined Networking (SDN) offers a solution by centralizing control over the network switches. One of the tools for modeling networks is DyNetKAT, an extension of NetKAT. Both are network modeling languages based on the Kleene algebra with tests, a mathematical framework used to model and analyze the behavior of systems encoded as regular expressions with tests. DyNetKAT is catered specifically to model SDNs. However, it has limited capabilities for tracing data races - unexpected network behavior caused by communication delays between the central control point and and the forwarding plane (the switches). The aim of the research is to create a tool to solve this issue. By using vector clocks, the paper seeks to design and develop a solution for automated data race detection. This addition will expand the capabilities of DyNetKAT, improving the stability of the networks modeled and validated with the Tracer developed in this paper, by pointing out potential issues. Furthermore, the results have the potential to facilitate a deeper discussion and examination of the root causes of data races in SDNs. |
| 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/100971 |
| 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