Identifying configuration inconsistency in edge-based software defined networks (sdn)

A system for identifying state inconsistency in edge-based software defined networks, comprising:

• a verification system comprising at least one hardware processor,
• the verification system connected to a controller of an edge-based software defined network (SDN),
• the verification system further connected to at least one end-host of the SDN,
• the verification system comprising a data collection subsystem operable to receive controller network configuration data from the controller of an edge-based software defined network (SDN), the data collection subsystem further operable to receive end-host network configuration data from the end-host of the SDN,
• the verification system further comprising a state parsing subsystem operable to parse the controller network configuration data into a network state representation, the state parsing subsystem further operable to parse the end-host network configuration data into the network state representation,
• the verification system further comprising a state verification subsystem operable to compare the network state representation of the controller network configuration data and the end-host network configuration data to identify state inconsistency in the SDN, and
• responsive to identifying the state inconsistency, the state verification subsystem further operable to generate and transmit an alert signal to an administrator user interface.

A computer readable storage medium storing a program of instructions executable by a machine to perform a method of identifying state inconsistency in edge-based software defined networks, the method comprising:

• receiving by a verification server, controller network configuration data from a controller of an edge-based software defined network (SDN);
• receiving by the verification server, end-host network configuration data from at least one end-host of the SDN;
• parsing by the verification server, the controller network configuration data into a network state representation;
• parsing by the verification server, the end-host network configuration data into the network state representation;
• comparing the network state representation of the controller network configuration data and the end-host network configuration data to identify state inconsistency in the SDN;
• and
• responsive to identifying the state inconsistency, generating and transmitting an alert signal to an administrator user interface.