Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios

被引：0
|
作者：
Bernardeschi, Cinzia [1 ]
Masci, Paolo [1 ]
Pfeifer, Holger [1 ]
机构：
[1] Univ Pisa, Dept Informat Engn, I-56100 Pisa, Italy
来源：
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS | 2009年 / 5873卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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
引用
收藏
页码：105 / 119
页数：15
相关论文
共 50 条
  • [1] Analysis of Network Management Protocols in Wireless Sensor Network
    Zhang, Bin
    Li, Guohui
    2008 INTERNATIONAL CONFERENCE ON MULTIMEDIA AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 546 - 549
  • [2] Communication Protocols on Dynamic Cluster-based Wireless Sensor Network
    Islam, A. K. M. Muzahidul
    Zeb, Asim
    Wada, Koichi
    2013 INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS & VISION (ICIEV), 2013,
  • [3] MAC protocols in Wireless Sensor Network: a Energy Comparison Analysis
    Sergi, Claudia
    Turiaco, Natalia
    De Rango, Floriano
    2021 29TH TELECOMMUNICATIONS FORUM (TELFOR), 2021,
  • [4] Analysis of hierarchical algorithms for wireless sensor network routing Protocols
    Chan, KS
    Pishro-Nik, H
    Fekri, F
    2005 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-4: WCNC 2005: BROADBAND WIRELESS FOR THE MASSES READY FOR TAKE-OFF., 2005, : 1830 - 1835
  • [5] A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios
    Kaustuv Sarangi
    Indrajit Bhattacharya
    Innovations in Systems and Software Engineering, 2019, 15 : 3 - 16
  • [6] A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios
    Sarangi, Kaustuv
    Bhattacharya, Indrajit
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (01) : 3 - 16
  • [7] Survey of Network Management Protocols in Wireless Sensor Network
    Zhang, Bin
    Li, Guohui
    2009 INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY, VOLS 1 AND 2, 2009, : 850 - 854
  • [8] Analysis of Wireless Sensor Network Performance in Urban Infrastructure to Vehicle Scenarios
    Azpilicueta, Leyre
    Vargas, Cesar
    Lopez-Iturri, Peio
    Aguirre, Erik
    Ariznabarreta, Alex
    Falcone, Francisco
    2016 USNC-URSI RADIO SCIENCE MEETING (JOINT WITH AP-S SYMPOSIUM), 2016, : 43 - 44
  • [9] Performance Analysis on Homogeneous LEACH and EAMMH Protocols in Wireless Sensor Network
    Taspia Salam
    Md. Sharif Hossen
    Wireless Personal Communications, 2020, 113 : 189 - 222
  • [10] An Advanced Analysis on Secure Hierarchical Routing Protocols in Wireless Sensor Network
    Ouafaa, Ibrihich
    Mustapha, Esghir
    Salah-ddine, Krit
    Jalal, Laassiri
    Said, El Hajji
    2016 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2016,
12345