Skip to main content
SpringerLink
Log in

Reliability Analysis of Software Defined Wireless Sensor Networks

  • Conference paper
  • First Online:
Model Design and Simulation Analysis (AsiaSim 2015)

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

Included in the following conference series:

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

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)

    Article  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)

    Article  MathSciNet  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)

    Article  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)

    Article  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)

    Article  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)

    Chapter  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)

    Article  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)

    Article  Google Scholar 

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

    Article  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)

    Article  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)

    Article  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)

    Article  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)

    Article  MathSciNet  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)

    Article  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)

    Article  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)

Publish with us

Policies and ethics

Search

Navigation