We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem proving system PVS and can be used for formal specification, automated simulation and verification of the behaviour of the protocol. In order to demonstrate the applicability of the approach, we analyse the reverse path forwarding algorithm, which is the basic technique used for diffusion protocols for wireless sensor networks. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bernardeschi, C., Masci, P., & Pfeifer, H. (2009). Analysis of wireless sensor network protocols in dynamic scenarios. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5873 LNCS, pp. 105–119). https://doi.org/10.1007/978-3-642-05118-0_8
Mendeley helps you to discover research relevant for your work.