Access the full text.
Sign up today, get DeepDyve free for 14 days.
MM Gallardo, J Martínez, P Merino (2005)
Model checking active networks with spinComput Commun, 28
A Guha, M Reitblatt, N Foster (2013)
Machine-verified network controllersSIGPLAN Not, 48
GJ Holzmann (1991)
Design and validation of computer protocols
M Stehr, CL Talcott (2002)
Plan in maude: specifying an active network programming languageElectr Notes Theor Comput Sci, 71
T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, A Valadarsky (2014)
Vericon: towards verifying controller programs in software-defined networksSIGPLAN Not, 49
BA Nunes, M Mendonca, XN Nguyen, K Obraczka, T Turletti (2014)
A survey of software-defined networking: past, present, and future of programmable networksIEEE Commun Surv Tutor, 16
A Khurshid, W Zhou, M Caesar, PB Godfrey (2012)
Veriflow: verifying network-wide invariants in real timeSIGCOMM Comput Commun Rev, 42
DL Tennenhouse, D Wetherall (2007)
Towards an active network architectureSIGCOMM Comput Commun Rev, 37
AT Campbell, HG Meer, ME Kounavis, K Miki, JB Vicente, D Villela (1999)
A survey of programmable networksSIGCOMM Comput Commun Rev, 29
K Pentikousis, Y Wang, W Hu (2013)
Mobileflow: toward software-defined mobile networksIEEE Commun Mag, 51
D Jackson (2012)
Software abstractions: logic, language, and analysis
G Holzmann (2003)
Spin model checker, the: primer and reference manual
ZA Qazi, C Tu, L Chiang, R Miao, V Sekar, M Yu (2013)
Simple-fying middlebox policy enforcement using sdnSIGCOMM Comput Commun Rev, 43
G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli (2004)
Exploiting transition locality in automatic verification of finite-state concurrent systemsInt J Softw Tools Technol Transf, 6
G Baldoni, M Melita, S Micalizzi, C Rametta, G Schembra, A Vassallo (2016)
Video broadcasting services over sdn-nfv enabled networks: a prototypeProc Comput Sci, 98
Z Shu, J Wan, J Lin, S Wang, D Li, S Rho, C Yang (2016)
Traffic engineering in software-defined networking: measurement and managementIEEE Access, 4
A El-Hassany, J Miserez, P Bielik, L Vanbever, M Vechev (2016)
Sdnracer: concurrency analysis for software-defined networksSIGPLAN Not, 51
M Leucker, C Schallhart (2009)
A brief account of runtime verificationJ Logic Algebraic Program, 78
H Mai, A Khurshid, R Agarwal, M Caesar, PB Godfrey, ST King (2011)
Debugging the data plane with anteaterSIGCOMM Comput Commun Rev, 41
G Bochmann, D Rayner, CH West (2010)
Some notes on the history of protocol engineeringComput Netw, 54
Woodcock J, Larsen PG, Bicarregui J, J Fitzgerald (2009)
Formal methods: practice and experienceACM Comput Surv, 41
T Lakshman, D Stiliadis (1998)
High-speed policy-based packet forwarding using efficient multi-dimensional range matchingSIGCOMM Comput Commun Rev, 28
(1995)
Foundations of databases: the logical level
V Nguyen, T Do, Y Kim (2016)
Sdn and virtualization-based lte mobile network architectures: a comprehensive surveyWirel Pers Commun, 86
N Foster, R Harrison, MJ Freedman, C Monsanto, J Rexford, A Story, D Walker (2011)
Frenetic: a network programming languageSIGPLAN Not, 46
DL Tennenhouse, JM Smith, WD Sincoskie, DJ Wetheral, GJ Minden (1997)
A survey of active network researchIEEE Commun Mag, 35
N McKeown, T Anderson, H Balakrishnan, G Parulkar, J Peterson Rexford, S Shenker, J Turner (2008)
Openflow: enabling innovation in campus networksSIGCOMM Comput Commun Rev, 38
C Monsanto, N Foster, R Harrison, D Walker (2012)
A compiler and run-time system for network programming languagesSIGPLAN Not, 47
N Feamster, J Rexford, E Zegura (2014)
The road to sdn: an intellectual history of programmable networksSIGCOMM Comput Commun Rev, 44
(2001)
Software reliability methods
Software-defined networking (SDN) is a new paradigm to introduce intelligence in communication networks through centralised programming. SDN separates data and control plane with two main components, the programmable switches (data plane) and the central controller where network applications are executed. This highly programmable and flexible network introduces many challenges from the point of view of reliability (or robustness), and operators need to ensure the same level of confidence as in previous less flexible deployments. This paper provides a first study of the current verification tools used to analyse different properties of SDNs before deployment and/or during the exploitation of the network. Most of these tools offer some kind of automatic verification, supported by algorithms based on formal methods, but they do not differentiate between fixed and mobile/wireless networks. In the paper, we provide a number of classifications of the tools to make this selection easier for potential users, and we also identify promising research areas where more effort needs to be made.
Journal of Reliable Intelligent Environments – Springer Journals
Published: Jul 29, 2017
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.