UDC 004.72
MODELING AND VERIFICATION OF SOFTWARE DEFINED NETWORK TOPOLOGY
K. I. Nikishin, Ph.D. (Tech.), senior lecturer, department of computer science, PSU, Penza, Russia;
orcid.org/0000-0001-7966-7833, e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
The complexity of managing Ethernet switches, routing tables and other network parameters allowed us to offer the technology of Software Defined Networks (SDN). With the help of SDN networks, the approach to managing and administering many network parameters in network infrastructure is simplified. The article discusses the architecture and layers in SDN networks. Topologies in SDN networks are considered: with single, distributed and hierarchical SDN controllers. The aim of the study is to research various topologies in SDN networks using colored temporal hierarchical Petri nets. The objectives of the research are to research behavioral and temporal functioning of SDN network models as well as their verification for deadend states, transitions and analysis of state spaces. The developed models made it possible to verify the SDN network algorithms in various configurations.
Key words: Software Defined Networks, topology, controller, switch, Ethernet, OpenFlow, Petri Nets, CPN Tools.