University of Twente Student Theses
Causal analysis of safety violations in DyNetKAT
Olmezoglu, C. (2022) Causal analysis of safety violations in DyNetKAT.
|
PDF
693kB |
| 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: | https://purl.utwente.nl/essays/92646 |
| 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