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 条
  • [21] Underwater Wireless Sensor Network Performance Analysis Using Diverse Routing Protocols
    Sathish, Kaveripaka
    Ravikumar, Chinthaginjala Venkata
    Rajesh, Anbazhagan
    Pau, Giovanni
    JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 2022, 11 (04)
  • [22] An Analysis of Various Routing Protocols for Precision Agriculture using Wireless Sensor Network
    Balamurali, R.
    Kathiravan, K.
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON TECHNOLOGICAL INNOVATIONS IN ICT FOR AGRICULTURE AND RURAL DEVELOPMENT TIAR 2015, 2015, : 156 - 159
  • [23] Validation of multiple mobile elements based data gathering protocols for dynamic and static scenarios in Wireless Sensor Networks
    Jayram, Bhat Geetalaxmi
    Ashoka, D. V.
    2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 260 - 266
  • [24] Cognitive Wireless Sensor Network Device for AAL Scenarios
    Lopez, Fernando
    Romero, Elena
    Blesa, Javier
    Villanueva, Daniel
    Araujo, Alvaro
    AMBIENT ASSISTED LIVING, 2011, 6693 : 116 - 121
  • [25] A Comparison Study for Different Wireless Sensor Network Protocols
    Al-Baadani, Faris
    Yousef, Sufian
    GLOBAL SECURITY, SAFETY AND SUSTAINABILITY: TOMORROW'S CHALLENGES OF CYBER SECURITY, ICGS3 2015, 2015, 534 : 252 - 259
  • [26] Performance study of routing protocols in Wireless Sensor Network
    Pant, Yogesh
    Bhaudauria, H. S.
    2016 8TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS (CICN), 2016, : 134 - 138
  • [27] A Survey on Secured Routing Protocols for Wireless Sensor Network
    Shashikala
    Kavitha, C.
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [28] Recent Advancements in Clustering Protocols for Wireless Sensor Network
    Rana, Priya
    Sharma, Kanika
    2017 8TH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT), 2017,
  • [29] On Formal Modeling and Validation of Wireless Sensor Network Protocols
    Bechar, Rachid
    Tahar Abbes, Mounir
    Mezoudj, Fareha
    Bellatreche, Ladjel
    WIRELESS PERSONAL COMMUNICATIONS, 2020, 114 (04) : 2855 - 2888
  • [30] Network Structure Based Protocols for Wireless Sensor Networks
    Panda, Madhumita
    Sethy, Prabira Kumar
    2014 INTERNATIONAL CONFERENCE ON ADVANCES IN ENGINEERING AND TECHNOLOGY RESEARCH (ICAETR), 2014,
12345