@inproceedings{441d16171e4849ee84c61e211f9ec230,
title = "Reliability analysis of software defined wireless sensor networks",
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",
author = "Na Gong and Xin Huang",
note = "Publisher Copyright: {\textcopyright} Springer Science+Business Media Singapore 2016.; 15th International Conference on Asia Simulation, AsiaSim 2015 ; Conference date: 04-11-2015 Through 07-11-2015",
year = "2016",
doi = "10.1007/978-981-10-2158-9\_6",
language = "English",
isbn = "9789811021572",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "65--78",
editor = "Ohn, \{Syng Yup\} and Chi, \{Sung Do\}",
booktitle = "Model Design and Simulation Analysis - 15th International Conference, AsiaSim 2015, Revised Selected Papers",
}