Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista)

Type
Label
  • Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bernardeschi C.; Masci P. M.; Pfeifer H. (2009)
    Analysis of wireless sensor network protocols in dynamic scenarios
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bernardeschi C.; Masci P. M.; Pfeifer H. (literal)
Pagina inizio
  • 105 (literal)
Pagina fine
  • 119 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5873 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 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. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Dept. of Information Engineering, University of Pisa, CNR-ISTI, Pisa, Institute of Artificial Intelligence, Ulm University, Germany (literal)
Titolo
  • Analysis of wireless sensor network protocols in dynamic scenarios (literal)
Abstract
  • 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. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it