RT Conference Proceedings
T1 A characterisation of reliability tools for Software Defined Networks
A1 Lavado, Leticia
A1 Panizo-Jaime, Laura
A1 Gallardo-Melgarejo, María del Mar
A1 Merino-Gómez, Pedro
K1 Redes de ordenadores
AB Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied in field networks, and is now being applied to wireless and mobile networks, generating Software Defined Mobile/Wireless networks (SDWNs). SDN can be also combined with Network Function Virtualization (NFV) producing a software network in which the specific hardware is replaced by general purpose computing equipment running SDN and NFV software solutions. 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 tools used to analyse the reliability 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.
YR 2017
FD 2017
LK http://hdl.handle.net/10630/14332
UL http://hdl.handle.net/10630/14332
LA eng
NO Actas de las XVII Jornadas de Programación y Lenguajes
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026