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 条
  • [41] Location Based Protocols in Wireless Sensor Network - A Review
    Grover, Jitender
    Shikha
    Sharma, Mohit
    2014 INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT, 2014,
  • [42] Protocols for traffic safety using wireless sensor network
    Lai, Yi
    Zheng, Yuan
    Cao, Jiannong
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS, 2007, 4494 : 37 - +
  • [43] Comparative Analysis of Data Gathering Protocols with Multiple Mobile Elements for Wireless Sensor Network
    Jayram, Bhat Geetalaxmi
    Ashoka, D. V.
    PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY FOR INTELLIGENT SYSTEMS: VOL 1, 2016, 50 : 281 - 290
  • [44] Comparative Analysis the Performance of AODV, DSDV and DSR Routing Protocols in Wireless Sensor Network
    Rahman, Julia
    Hasan, Md. Al Mehedi
    Ben Islam, Md. Khaled
    2012 7TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (ICECE), 2012,
  • [45] Design and Analysis of In-Network Computation Protocols With Compressive Sensing in Wireless Sensor Networks
    Zheng, Haifeng
    Guo, Wenzhong
    Feng, Xinxin
    Chen, Zhonghui
    IEEE ACCESS, 2017, 5 : 11015 - 11029
  • [46] Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOL
    Ahmed, Waqar
    Hasan, Osman
    Tahar, Sofiene
    2015 IEEE 11TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), 2015, : 217 - 224
  • [47] Performance analysis of Wireless Sensor Network MAC protocols using NS-2
    Accha, Venu
    Gupta, Sindhu Hak
    2018 INTERNATIONAL CONFERENCE ON COMPUTING, POWER AND COMMUNICATION TECHNOLOGIES (GUCON), 2018, : 859 - 862
  • [48] SPAE: A DYNAMIC WIRELESS SENSOR NETWORK PERFORMANCE ANALYSIS AND EVALUATION PLATFORM
    Xie, Dongliang
    Wang, Guoying
    2011 4TH IEEE INTERNATIONAL CONFERENCE ON BROADBAND NETWORK AND MULTIMEDIA TECHNOLOGY (4TH IEEE IC-BNMT2011), 2011, : 545 - 548
  • [49] Investigating the Prevalent Security Techniques in Wireless Sensor Network Protocols
    O'Mahony, George D.
    Harris, Philip J.
    Murphy, Colin C.
    2019 30TH IRISH SIGNALS AND SYSTEMS CONFERENCE (ISSC), 2019,
  • [50] Evaluation of Video Transmission of MAC Protocols In Wireless Sensor Network
    Maulidin
    Mahmuddin, M.
    Kamaruddin, L. M.
    Elsaikh, Mohamed
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED SCIENCE AND TECHNOLOGY 2016 (ICAST '16), 2016, 1761
12345