Lu, Y., Huang, X., Huang, B., Xu, W., Zhang, Q., Xu, R., & Liu, D. (2015). A study on the reliability of software defined wireless sensor network. In X. Liu, P. Wang, Y. Wang, M. Dong, R. C. H. Hsu, F. Xia, & Y. Deng (Eds.), Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015 (pp. 129-134). Article 7463713 (Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SmartCity.2015.59
Lu, Yulin ; Huang, Xin ; Huang, Baichuan et al. / A study on the reliability of software defined wireless sensor network. Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015. editor / Xingang Liu ; Peicheng Wang ; Yufeng Wang ; Mianxiong Dong ; Robert C. H. Hsu ; Feng Xia ; Yuhui Deng. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 129-134 (Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015).
@inproceedings{e5cf8379854f416694b297a3013486f8,
title = "A study on the reliability of software defined wireless sensor network",
abstract = "Software defined wireless sensor network is an network defined for dynamic and secure control of smart devices. It decouples the data plane and the control plane, allowing administrators to reprogram the smart devices in the network and backbone network devices based on users' varying demands. In this paper, a typical architecture of software defined wireless sensor network is proposed. Continuous time Markov chain and continuous stochastic logic are used for model checking the reliability of this architecture, which lead to several interesting findings.",
author = "Yulin Lu and Xin Huang and Baichuan Huang and Weiwen Xu and Qian Zhang and Ruiyang Xu and Dawei Liu",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE International Conference on Smart City, SmartCity 2015 ; Conference date: 19-12-2015 Through 21-12-2015",
year = "2015",
doi = "10.1109/SmartCity.2015.59",
language = "English",
series = "Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "129--134",
editor = "Xingang Liu and Peicheng Wang and Yufeng Wang and Mianxiong Dong and Hsu, {Robert C. H.} and Feng Xia and Yuhui Deng",
booktitle = "Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015",
}
Lu, Y, Huang, X, Huang, B, Xu, W, Zhang, Q, Xu, R & Liu, D 2015, A study on the reliability of software defined wireless sensor network. in X Liu, P Wang, Y Wang, M Dong, RCH Hsu, F Xia & Y Deng (eds), Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015., 7463713, Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015, Institute of Electrical and Electronics Engineers Inc., pp. 129-134, IEEE International Conference on Smart City, SmartCity 2015, Chengdu, China, 19/12/15. https://doi.org/10.1109/SmartCity.2015.59
A study on the reliability of software defined wireless sensor network. / Lu, Yulin; Huang, Xin; Huang, Baichuan et al.
Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015. ed. / Xingang Liu; Peicheng Wang; Yufeng Wang; Mianxiong Dong; Robert C. H. Hsu; Feng Xia; Yuhui Deng. Institute of Electrical and Electronics Engineers Inc., 2015. p. 129-134 7463713 (Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015).
Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review
TY - GEN
T1 - A study on the reliability of software defined wireless sensor network
AU - Lu, Yulin
AU - Huang, Xin
AU - Huang, Baichuan
AU - Xu, Weiwen
AU - Zhang, Qian
AU - Xu, Ruiyang
AU - Liu, Dawei
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015
Y1 - 2015
N2 - Software defined wireless sensor network is an network defined for dynamic and secure control of smart devices. It decouples the data plane and the control plane, allowing administrators to reprogram the smart devices in the network and backbone network devices based on users' varying demands. In this paper, a typical architecture of software defined wireless sensor network is proposed. Continuous time Markov chain and continuous stochastic logic are used for model checking the reliability of this architecture, which lead to several interesting findings.
AB - Software defined wireless sensor network is an network defined for dynamic and secure control of smart devices. It decouples the data plane and the control plane, allowing administrators to reprogram the smart devices in the network and backbone network devices based on users' varying demands. In this paper, a typical architecture of software defined wireless sensor network is proposed. Continuous time Markov chain and continuous stochastic logic are used for model checking the reliability of this architecture, which lead to several interesting findings.
UR - http://www.scopus.com/inward/record.url?scp=84973873303&partnerID=8YFLogxK
U2 - 10.1109/SmartCity.2015.59
DO - 10.1109/SmartCity.2015.59
M3 - Conference Proceeding
AN - SCOPUS:84973873303
T3 - Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015
SP - 129
EP - 134
BT - Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015
A2 - Liu, Xingang
A2 - Wang, Peicheng
A2 - Wang, Yufeng
A2 - Dong, Mianxiong
A2 - Hsu, Robert C. H.
A2 - Xia, Feng
A2 - Deng, Yuhui
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Smart City, SmartCity 2015
Y2 - 19 December 2015 through 21 December 2015
ER -
Lu Y, Huang X, Huang B, Xu W, Zhang Q, Xu R et al. A study on the reliability of software defined wireless sensor network. In Liu X, Wang P, Wang Y, Dong M, Hsu RCH, Xia F, Deng Y, editors, Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 129-134. 7463713. (Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015). doi: 10.1109/SmartCity.2015.59
