Real Time and Dynamic Verification of Data Plane in Software Defined Networks
Today’s networks are very large in size as well as complex by design. Validating today’s networks against any
problem is really cumbersome task with traditional approaches like ping, traceroute, tcpdump, etc. Networks are generally
susceptible to problems like loop, black-hole, drop, software bugs and physical failures. Protecting networks from these kind
of problems using traditional approaches is complicated and time consuming which is not at all affordable in any enterprise
To avoid loss caused due to network problems, there is need of tools which can validate network against above said
problems in less time as soon as they are introduced in network. In this paper we propose a system which is capable of
detecting link failure problems in software defined network (SDN) dynamically.
Index Terms— Network verification, dynamic validation, static validation, software defined network.