[HTML][HTML] SDN Spotlight: A real-time OpenFlow troubleshooting framework

R Aryan, A Yazidi, F Brattensborg, Ø Kure… - Future Generation …, 2022 - Elsevier
Troubleshooting in SDN-based networks is still a cumbersome task that can overwhelm
human attention. Various anomalies, such as installation failure, disordered rules, and …

Towards verified self-driving infrastructure

B Liu, A Kheradmand, M Caesar… - Proceedings of the 19th …, 2020 - dl.acm.org
Modern" self-driving''service infrastructures consist of a diverse collection of distributed
control components providing a broad spectrum of application-and network-centric …

Run-time performance monitoring, verification, and healing of end-to-end services

N Choi, L Jagadeesan, Y Jin… - … IEEE Conference on …, 2019 - ieeexplore.ieee.org
Softwarization enables tremendous flexibility for networks as the use of software-defined
networking (SDN) and programmable data planes (eg P4) together support dynamic …

Compiling cross-language network programs into hybrid data plane

H Li, P Zhang, G Sun, W Cao, C Hu… - IEEE/ACM …, 2021 - ieeexplore.ieee.org
Network programming languages (NPLs) empower operators to program network data
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …

A modular compiler for network programming languages

H Li, P Zhang, G Sun, C Hu, D Shan, T Pan… - Proceedings of the 16th …, 2020 - dl.acm.org
Network programming languages (NPLs) empower operators to program network data
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …

Checking the OpenFlow rule installation and operational verification

R Aryan, F Brattensborg, A Yazidi… - 2019 IEEE 44th …, 2019 - ieeexplore.ieee.org
Troubleshooting in SDN-based networks tends to be a cumbersome task that might
overwhelm human attention. Researchers have uncovered various misconfiguration errors …

[PDF][PDF] Designing for proactive network configuration analysis

M Mushi, R Dutta - Journal of Systemics, Cybernetics and Informatics, 2019 - iiisci.org
Human operators are an important aspect of any computing infrastructure; however, human
errors in configuring systems pose reliability and security risks, which are increasingly …

Software Defined Networks troubleshooting using formal approaches for monitoring, probing and self-correction (auto-correction)

R Aryan - 2024 - duo.uio.no
This Ph. D. thesis introduces a robust framework for detecting anomalies within Software
Defined Networks (SDN). It offers two distinct approaches, offline and real-time, anchored in …

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies

R Aryan, A Yazidi, A Bouhoula… - 2020 IEEE 45th …, 2020 - ieeexplore.ieee.org
Policy anomalies are frequent in nowadays's computer networks due to their increasing
configuration complexity. Resolving policy anomalies usually requires network administrator …