Mathematical Modeling for Software Defined Networks

Authors

  • S. Chandramohan   Assistant Professor, Department of ECE, SCSVMV, Kanchipuram, Tamil Nadu, India

Keywords:

SDN, Open flow architecture, COQ

Abstract

Software-defined networking (SDN) makes it possible to control an entire network in software, by writing programs that tailor network behavior to suit specific applications and environments. Unfortunately, developing correct SDN programs is easier said than done. SDN programmers today must deal with several complications. Our goal is to provide a mathematical foundation for software-defined networking that can be used to build and verify high-level SDN tools.

References

  1. L. Girish and S. K. N. Rao, "Mathematical tools and methods for analysis of SDN: A comprehensive survey," 2016 2nd International Conference on Contemporary Computing and Informatics (IC3I), Noida, 2016, pp. 718-724.
  2. M. Canini, D. Venzano, P. Peres?ni, D. Kostic, and J. Rexford. Automating the testing of OpenFlow applications. In ´ NSDI, 2012.
  3. Guha, M. Reitblatt, and N. Foster. Machine-verified network controllers. In PLDI, 2013.
  4. C. Monsanto, N. Foster, R. Harrison, and D. Walker. A compiler and run-time system for network programming languages. In POPL, 2012.
  5. T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu,R. Ramanathan, Y. Iwata, H. Inoue, T. Hama et al., "Onix: a distributed control platform for large-scale production networks," in Proceedings of the 9th USENIX conference on Operating systems design and implementation, 2010, pp. 1-6.
  6. A. Greenberg, G. Hjalmtysson, D. A. Maltz, A. Myers, J. Rexford,G. Xie, H. Yan, J. Zhan, and H. Zhang, "A clean slate 4d approach to network control and management," SIGCOMM Comput. Commun.Rev., vol. 35, no. 5, pp. 41-54, Oct. 2005.
  7. M. Caesar, D. Caldwell, N. Feamster, J. Rexford, A. Shaikh, and J. van der Merwe, "Design and implementation of a routing control platform," in Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2, ser. NSDI’05,Berkeley, CA, USA, 2005, pp. 15-28.
  8. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. McKeown, and S. Shenker, "Ethane: taking control of the enterprise," in Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications, ser. SIGCOMM ’07, New York, NY, USA, 2007, pp. 1-12.
  9. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner, "Openflow: enabling innovation in campus networks," SIGCOMM Comput. Commun. Rev., vol. 38, no. 2, pp. 69-74, Mar. 2008.
  10. S. Azodolmolky, R. Nejabati, E. Escalona, R. Jayakumar, N. Efstathiou, and D. Simeonidou, "Integrated openflow-gmpls control plane: an overlay model for software defined packet over optical networks," Opt.Express, vol. 19, no. 26, pp. B421-B428, Dec 2011.
  11. M. Channegowda, R. Nejabati, M. R. Fard, S. Peng, N. Amaya, G. Zervas, D. Simeonidou, R. Vilalta, R. Casellas, R. Mart´?nez, R. M.noz, L. Liu, T. Tsuritani, I. Morita, A. Autenrieth, J. Elbers, P. Kostecki, and P. Kaczmarek, "Experimental demonstration of an openflow based software-defined optical network employing packet, fixed and flexible dwdm grid technologies on an international multi-domain testbed," Opt.Express, vol. 21, no. 5, pp. 5487-5498, Mar 2013.
  12. M. Jarschel, S. Oechsner, D. Schlosser, R. Pries, S. Goll, and P. TranGia,"Modeling and performance evaluation of an openflow architecture,"in Teletraffic Congress (ITC), 2011, Sept., pp. 1-7.
  13. Y. Luo, P. Cascon, E. Murray, and J. Ortega, "Accelerating openflowswitching with network processors," in Proceedings of the 5thACM/IEEE Symposium on Architectures for Networking and Communications Systems, ser. ANCS ’09, New York, USA, 2009, pp. 70-71.
  14. A. Bianco, R. Birke, L. Giraudo, and M. Palacin, "Openflow switching:Data plane performance," in Communications (ICC), 2010 IEEE International Conference on, May, pp. 1-5.
  15.  A. R. Curtis, J. C. Mogul, J. Tourrilhes, P. Yalagandula, P. Sharma, and S. Banerjee, "Devoflow: scaling flow management for high-performance networks," in Proceedings of the ACM SIGCOMM 2011 conference, ser.SIGCOMM ’11, New York, NY, USA, 2011, pp. 254-265.
  16. 12] R. Pries, M. Jarschel, and S. Goll, "On the usability of openflow in data center environments," in Communications (ICC), 2012 IEEE International Conference on, June, pp. 5533-5537.
  17. C. Rotsos, N. Sarrar, S. Uhlig, R. Sherwood, and A. Moore, "Oflops:An open framework for openflow switch evaluation," in Passive and Active Measurement, ser. Lecture Notes in Computer Science, N. Taft and F. Ricciato, Eds. Springer, 2012, vol. 7192, pp. 85-95.
  18. Openflow controller performance comparison. Online]. Available:
  19. http://www.openflow.org/wk/index.php/Controller Performance Comparisons

International Journal of Scientific Research in Science, Engineering and Technology

Downloads

Published

2018-03-23

Issue

Volume 5, Issue 1, March-April-2018

Section

Research Articles

License

Copyright (c) IJSRSET

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
S. Chandramohan , " Mathematical Modeling for Software Defined Networks, International Journal of Scientific Research in Science, Engineering and Technology(IJSRSET), Print ISSN : 2395-1990, Online ISSN : 2394-4099, Volume 5, Issue 1, pp.40-43, March-April-2018.