Skip to main content
View expanded cover

Asian Simulation Conference

AsiaSim 2015: Model Design and Simulation Analysis pp 65–78Cite as

Reliability Analysis of Software Defined Wireless Sensor Networks

Part of the Communications in Computer and Information Science book series (CCIS,volume 603)

Abstract

Software defined wireless sensor networks (SDWSN), which separate the control and data forwarding functions, have been proposed to solve the management dilemma of conventional wireless sensor networks (WSN). This technique can achieve a dynamic and centralized network management. However, the study on its reliability is still deficient. In this paper, SDWSN is formally modeled using Continuous-Time Markov Chains (CTMCs), and its reliability is verified using probabilistic model checking techniques. The verification results are expected to give suggestions to the future SDWSN designs.

Keywords

  • Model checking
  • PRISM
  • Software defined network
  • Wireless sensor network

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-981-10-2158-9_6
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-981-10-2158-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)
Learn about institutional subscriptions
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.
Fig. 10.
Fig. 11.
Fig. 12.
Fig. 13.
Fig. 14.

References

  1. Ali, S.T., Sivaraman, V., Radford, A., Jha, S.: A survey of securing networks using software defined networking. IEEE Trans. Reliab. 64(3), 1086–1097 (2015)

    CrossRef  Google Scholar 

  2. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic (TOCL) 1(1), 162–170 (2000)

    MathSciNet  CrossRef  Google Scholar 

  3. De Mil, P., Jooris, B., Tytgat, L., Hoebeke, J., Moerman, I., Demeester, P.: snapMac: a generic MAC/PHY architecture enabling flexible MAC design. Ad Hoc Netw. 17, 37–59 (2014)

    CrossRef  Google Scholar 

  4. Ding, A.Y., Crowcroft, J., Tarkoma, S., Flinck, H.: Software defined networking for security enhancement in wireless mobile networks. Comput. Netw. 66, 94–101 (2014)

    CrossRef  Google Scholar 

  5. Granelli, F., Gebremariam, A.A., Usman, M., Cugini, F., Stamati, V., Alitska, M., Chatzimisios, P.: Software defined, virtualized wireless access in future wireless networks: scenarios and standards. IEEE Commun. Mag. 53(6), 26–34 (2015)

    CrossRef  Google Scholar 

  6. Han, Z.J., Ren, W.: A novel wireless sensor networks structure based on the SDN. Int. J. Distrib. Sens. Netw. 2014 (2014)

    Google Scholar 

  7. Harrop, P., Das, R.: Wireless sensor networks 2010-2020. Networks 2010, 2020 (2010)

    Google Scholar 

  8. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  9. Hunkeler, U., Lombriser, C., Truong, H.L., Weiss, B.: A case for centrally controlled wireless sensor networks. Comput. Netw. 57(6), 1425–1442 (2013)

    CrossRef  Google Scholar 

  10. Jacobsson, M., Orfanidis, C.: Using software-defined networking principles for wireless sensor networks. In: 11th Swedish National Computer Networking Workshop (SNCNW), 28–29 May 2015, Karlstad, Sweden (2015)

    Google Scholar 

  11. Jagadeesan, N.A., Krishnamachari, B.: Software-defined networking paradigms in wireless networks: a survey. ACM Comput. Surv. (CSUR) 47(2), 27 (2014)

    CrossRef  Google Scholar 

  12. Kirkpatrick, K.: Software-defined networking. Commun. ACM 56(9), 16–19 (2013)

    CrossRef  Google Scholar 

  13. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking in practice: case studies with PRISM. ACM SIGMETRICS Perform. Eval. Rev. 32(4), 16–21 (2005)

    CrossRef  Google Scholar 

  14. Lin, Y.-D., Lin, P.-C., Yeh, C.-H., Wang, Y.-C., Lai, Y.-C.: An extended SDN architecture for network function virtualization with a case study on intrusion prevention. IEEE Netw. 29(3), 48–53 (2015)

    CrossRef  Google Scholar 

  15. Luo, T., Tan, H.-P., Quek, T.Q.S.: Sensor openflow: enabling software-defined wireless sensor networks. IEEE Commun. Lett. 16(11), 1896–1899 (2012)

    CrossRef  Google Scholar 

  16. Menshikov, M., Petritis, D.: Explosion, implosion, and moments of passage times for continuous-time Markov chains: a semimartingale approach. Stoch. Process. Appl. 124(7), 2388–2414 (2014)

    MathSciNet  CrossRef  MATH  Google Scholar 

  17. Oualhaj, O.A., Kobbane, A., Sabir, E., Ben-othman, J., Erradi, M.: A ferry-assisted solution for forwarding function in wireless sensor networks. Pervasive Mob. Comput. (2015)

    Google Scholar 

  18. Xu, R., Huang, X., Zhang, J., Lu, Y., Wu, G., Yan, Z.: Software defined intelligent building. Int. J. Inf. Secur. Priv. (2016)

    Google Scholar 

  19. Steiner, R.V., Mück, T.R., Fröhlich, A.A.: C-MAC: a configurable medium access control protocol for sensor networks. In: 2010 IEEE Sensors, pp. 845–848. IEEE (2010)

    Google Scholar 

  20. Van Dam, T., Langendoen, K.: An adaptive energy-efficient MAC protocol for wireless sensor networks. In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, pp. 171–180. ACM (2003)

    Google Scholar 

  21. Wood, T., Ramakrishnan, K.K., Hwang, J., Liu, G., Zhang, W.: Toward a software-based network: integrating software defined networking and network function virtualization. IEEE Netw. 29(3), 36–41 (2015)

    CrossRef  Google Scholar 

  22. Xie, J., Guo, D., Zhiyao, H., Ting, Q., Lv, P.: Control plane of software defined networks: a survey. Comput. Commun. 67, 1–10 (2015)

    CrossRef  Google Scholar 

  23. Lu, Y., Huang, X., Huang, B., Xu, W., Zhang, Q., Xu, R., Liu, D.: A study on the reliability of software defined wireless sensor network. In: 2015 IEEE International Conference on Smart City (IEEE Smart City 2015), Chengdu, China, 19–21 December 2015

    Google Scholar 

Download references

Acknowledgment

This work has been supported in part by the XJTLU RDF140243, by the Natural Science Foundation of Jiangsu Province under Grant BK20150376, and by the Suzhou Science and Technology Development Plan under Grant SYG201516.

Author information

Authors and Affiliations

  1. International Business School in Suzhou, Department of Computer Science and Software Engineering, Xi’an Jiaotong-Liverpool University, Suzhou, China

    Na Gong & Xin Huang

Authors
  1. Na Gong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xin Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xin Huang .

Editor information

Editors and Affiliations

  1. Korea Aerospace University , Goyang-si, Korea (Republic of)

    Syng Yup Ohn

  2. Korea Aerospace University , Goyang-si, Korea (Republic of)

    Sung Do Chi

Rights and permissions

Reprints and Permissions

Copyright information

© 2016 Springer Science+Business Media Singapore

About this paper

Cite this paper

Gong, N., Huang, X. (2016). Reliability Analysis of Software Defined Wireless Sensor Networks. In: Ohn, S., Chi, S. (eds) Model Design and Simulation Analysis. AsiaSim 2015. Communications in Computer and Information Science, vol 603. Springer, Singapore. https://doi.org/10.1007/978-981-10-2158-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-2158-9_6

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-2157-2

  • Online ISBN: 978-981-10-2158-9

  • eBook Packages: Computer ScienceComputer Science (R0)