PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bernardeschi C., Masci P. M., Pfeifer H. Analysis of wireless sensor network protocols in dynamic scenarios. In: SSS09 - Stabilization, Safety, and Security of Distributed Systems. 11th International Symposium (Lyon, France, 3-6 November 2009). Proceedings, pp. 105 - 119. (Lecture Notes in Computer Science, vol. 5873). Springer, 2009.
 
 
Abstract
(English)
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.
URL: http://www.springerlink.com/content/q463wq678665/?p=9538f231cbbd4105a057d028aba1cd91&pi=0
DOI: 10.1007/978-3-642-05118-0_8
Subject Prototype Verification System (PVS)
D.2.4 Software/Program Verification
C.2.2 Network Protocols
B.3.3 Performance Analysis and Design Aids


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional