Nothing Special   »   [go: up one dir, main page]
Skip to main content
SpringerLink
Log in

A Reward Based Formal Model for Distributed Software Defined Networks

  • Published:
Wireless Personal Communications Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2

Similar content being viewed by others

References

  1. Li, J., Chang, X., Ren, Y., Zhang, Z., & Wang, G. (2014). An effective path load balancing mechanism based on SDN. In 2014 IEEE 13th international conference on trust, security and privacy in computing and communications. https://doi.org/10.1109/trustcom.2014.67.

  2. Adami, D., Giordano, S., Pagano, M., & Santinelli, N. (2014). Class–based traffic recovery with load balancingin software–defined networks. In The 6th IEEE international workshop on management and emerging networks and services.

  3. Molina, E., Matias, J., Astarloa, A., & Jacob, E. (2015). Managing path diversity in layer 2 critical networksby using OpenFlow. In IFIP.

  4. Wang, Y., Tao, X., He, Q., & Kuang, Y. (2016). A dynamic load balancing method of cloud-center based on SDN. In China communication.

  5. Al-Najjar, A., Layeghy, S., & Portmann, M. (2016). Pushing SDN to the end-host, network load balancing using openflow. In The thirteenth IEEE international workshop on managing ubiquitous communications and services.

  6. McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., et al. (2008). Openflow: Enabling innovation in campus networks. SIGCOMM Computer Communication Review, 38(2), 69–74.

    Article  Google Scholar 

  7. Molina, E., Matias, J., Astarloa, A., & Jacob, E. (2015). Managing path dive rsity in layer 2 critical networks by using OpenFlow. In 2015 IFIP (pp. 394–397).

  8. Francois, P., Shand, M., & Bonaventure, O. (2007). Disruption-free topology reconfiguration in OSPF networks. In IEEE INFOCOM.

  9. Guo, Z., Su, M., Xu, Y., Duan, Z., Wang, L., Hui, S., et al. (2014). Improving the performance of load balancing in software—defined networks through load variance—based synchronization. Amsterdam: Elsevier.

    Book  Google Scholar 

  10. Reitblatt, M., Foster, N., Rexford, J., Schlesingerand, C., & Walker, D. (2012). Abstractions for network update. In SIGCOMM’12, 2012.

  11. Chemeritskyy, E. V., Smelyansky, R. L., & Zakharov, V. A. (2014). A formal model and verification problems for software defined networks. Moscow: Faculty of Computational Mathemetics and Cybernatics, Moscow State University.

    Google Scholar 

  12. Thiele, D., & Ernst, R. (2016). Formal analysis based evaluation of software defined networking for time-sensitive ethernet. IEEE: Piscataway.

    Book  Google Scholar 

  13. Shin, S., Porras, P., Yegneswaran, V., Fong, M., Gu, G., & Tyson, M. (2013). FRESCO: Modular composable security servicesfor software-defined networks. In ISOC network and distributed system security symposium.

  14. Marzo, J. L., Calle, E., Scoglio, C., & Anjah, T. (2003). QoS online routing and MPLS multilevel protection: A survey. IEEE Communications Magazine, 41(10), 126–132.

    Article  Google Scholar 

  15. Fowler, S., Zeadally, S., & Siddiqui, F. (2005). QoS pathselection exploiting minimum link delays in MPLS-based networks. In Proceedings, of systems communications (pp. 27–32).

  16. Nikos Doulamis, Panagiotis Kokkinos, and Emmanouel Varvarigos, “Spectral Clustering Scheduling Techniques forTasks with Strict QoS Requirements”, Springer pp. 478–488, 2008.

  17. Bari, M. F., Chowdhury, S. R., Ahmed, R., Boutaba, R., & David, R. (2013). PolicyCop: An autonomic QoS policy enforcement framework for software defined networks. In IEEE SDN for future networks and services (SDN4FNS).

  18. Tomovic, S., & Prasad, N. (2014). SDN control framework for QoS provisioning. In 22nd telecommunications forum TELFOR, IEEE.

  19. Niels L. M. van Adrichem, Doerr, C., & Kuipers, F. A. (2014). OpenNetMon: Network monitoring in openflow software-defined network. In 2014 IEEE network operations and management symposium (NOMS) (pp. 1–8). IEEE.

  20. Canini, M., Kuznetsov, P., Levin, D., & Schmid, S. (2013). Software transactional networking: Concurrent and consistent policy composition HotSDN’13. Hong Kong: ACM.

    Book  Google Scholar 

  21. Podymov, V., & Popesko, U. (2013). UPPAAL-based software—defined network verification tools and methods of program analysis (pp. 09–14).

  22. Behrmann, G., David, A., & Larsen, K. G. (2004). A tutorial on uppaal. In M. Bernardo & F. Corradini (Eds.), International school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004. Revised lectures, ser. lecture notes in computer science (Vol. 3185, pp. 200–237). Berlin: Springer.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Birla Institute of Technology Mesra (Ranchi-Allahabad Campus), Ranchi, India

    Vivek Srivastava & Ravi Shankar Pandey

Authors
  1. Vivek Srivastava
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ravi Shankar Pandey
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vivek Srivastava.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Srivastava, V., Pandey, R.S. A Reward Based Formal Model for Distributed Software Defined Networks. Wireless Pers Commun 116, 691–707 (2021). https://doi.org/10.1007/s11277-020-07733-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11277-020-07733-0

Keywords

Search

Navigation