Probabilistic and hybrid model checking deployments for wireless sensor networks.

Mohsin Memon; Sania Bhatti; Sheeraz Memon

No Detail Found!

Probabilistic and hybrid model checking deployments for wireless sensor networks.

Author(s)

Mohsin Memon Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan

Sania Bhatti Department of Software Engineering, Mehran University of Engineering & Technology, Jamshoro, Pakistan

Sheeraz Memon Department of Computer Systems Engineering, Mehran University of Engineering & Technology, Jamshoro, Pakistan

Abstract

In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system s properties based on the system s finite state model. For varying applications like computers and wireless communication prior to expensive simulations, model checking has become a vital requirement in order to investigate the performance and reliability. In this paper for the first time, we are presenting probabilistic and hybrid model checking tools which are being implemented to analyse and verify the WSN applications and their examples. Here we are categorizing the model checking tools and presenting how they have been used for the investigation of various behaviours of WSN solutions. Consequently, this paper helps readers/researchers to choose the appropriate model checking tool and to get benefited in shape of validating their solutions. The paper has also highlighted the problems of existing model checking tools within WSN domain.

Publication Details

Page(s) 177-188

DOI DOI not available

Published Journal: Mehran University Research Journal of Engineering and Technology, Volume: 31, Issue: 1, Year: 2012

Request the full text from PASTIC

Citations

Downloads

Views