A Reward Based Formal Model for Distributed Software Defined Networks

Abstract

Software defined network (SDN) increases control on network infrastructures. It aggregates responsibilities of different hardware devices at higher level abstraction which is called as controller. The controller may face problem of serious failures. The guarantee of packet delivery in secure environment during data transmission is a major challenge using appropriate network policies. The mathematical model investigates the hidden issues in any system. The quality of service (QoS) has two views. One perspective is QoS requirement and other is real QoS during the data transmission. This QoS helps to find the accuracy of the controller decision. In this paper, we have proposed reward based formal model of distributed software defined networks using real time data (SDNR) to compute real time QoS during data transmission. We have separated time based QoS reliability from the other QoS like security and consistency level of network policy and these QoS have been incorporated collectively. We have considered all above three parameters as a reward for distributed SDN. The reliability is an abstraction of QoS parameters like latency, throughput, delay and link utilization which is computed at packet delivery time and captures the motive of other finer QoS parameters. In distributed SDN several controllers updates their data parallel in real time and they share Network Information Base of each other. The synchronization and the time is an important factor in the case of distributed SDN. Extended Time Automata is used to investigate role of reward in data transmission in distributed SDN in real time.