Reliability analysis of software defined wireless sensor networks

Na Gong, Xin Huang*

*Corresponding author for this work

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

6 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationModel Design and Simulation Analysis - 15th International Conference, AsiaSim 2015, Revised Selected Papers
EditorsSyng Yup Ohn, Sung Do Chi
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9789811021572
Publication statusPublished - 2016
Event15th International Conference on Asia Simulation, AsiaSim 2015 - Jeju, Korea, Republic of
Duration: 4 Nov 20157 Nov 2015

Publication series

NameCommunications in Computer and Information Science
ISSN (Print)1865-0929


Conference15th International Conference on Asia Simulation, AsiaSim 2015
Country/TerritoryKorea, Republic of


  • Model checking
  • Software defined network
  • Wireless sensor network


Dive into the research topics of 'Reliability analysis of software defined wireless sensor networks'. Together they form a unique fingerprint.

Cite this