University of Twente Student Theses


Causal analysis of safety violations in DyNetKAT

Olmezoglu, C. (2022) Causal analysis of safety violations in DyNetKAT.

[img] PDF
Abstract:Failures in concurrent systems, particularly software defined net- working (SDN) systems can be very difficult to detect for the human brain. In order to deal with such failures computationally, we in- troduce a system to explain and debug safety failures in SDNs expressible in DyNetKAT. The latter is a framework to represent the control and data plane of SDNs, based on a well-researched network programming language, NetKAT (Network Kleene Algebra with Tests ). We provide and implement an algorithm to convert DyNetKAT into a Labelled Transition System (LTS), based on the Maude Rewriting Logic and the NetKAT tool. We exploit the counter- factual causal reasoning theory on the generated LTS to understand which transitions led to the safety failure. We show that the safety failures of the running examples can be identified and explained using our prototype tool.
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