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.
展开▼