NDLI: Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks

Content Provider	IEEE Xplore Digital Library
Author	Henderson, W.D. Tron, S.
Copyright Year	2006
Description	Author affiliation: Sch. of Comput., Eng. & Inf. Sci., Northumbria Univ., Newcastle upon Tyne (Henderson, W.D.; Tron, S.)
Abstract	Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherless, automated data collection and monitoring systems to be created. Anticipated applications include environmental hazard monitoring, forest fire detection, machine instrumentation, etc. Many routing protocols have been proposed to facilitate data transport from sensor nodes to a base station; few of these protocols have been formally verified or operationally deployed however. The minimum cost forwarding (MCF) routing protocol (Ye et al., 2001), has been proposed. The application of MCF is restricted to networks possessing a single sink node and multiple source nodes. However, it offers several potential advantages for sensor nodes with limited resources. The MCF protocol is the subject of the current study with a view to its implementation in a prototype sensor network. The first phase of the work, and the subject of this paper, is the formal evaluation of the MCF protocol to increase confidence its correctness and study its ability to handle node failure and other errors. As a result of formal verification using a model checking tool, UPPAAL, we confirm the soundness of the protocol during its initialisation and operational phases and have identified significant weaknesses in the published protocol concerning equal-cost minimum cost paths and node failure. In particular, we identify a flaw in the previously suggested periodic initialisation broadcast to re-establish a minimum cost field. Here we present these results and offer improvements to overcome some deficiencies. It is expected that model checking may usefully be applied in the study of other WSN protocols.
Starting Page	194
Ending Page	201
File Size	168038
Page Count	8
File Format	PDF
ISBN	0780397584
DOI	10.1109/ETFA.2006.355457
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-09-20
Publisher Place	Czech Republic
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Costs Wireless application protocol Wireless sensor networks Routing protocols Computer networks Wireless communication Computerized monitoring Hazards Condition monitoring Fires
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An Adaptive Energy Efficient Forwarding Protocol for wireless sensor networks

Extending Network Lifetime in Wireless Sensor Networks Using Modified Minimum Cost Forwarding Protocol - MMCFP

Design and Application of Enhanced Communication Protocols for Wireless Sensor Networks operating in Environmental MonitorinDg

Research on Wireless Sensor Networks Routing Protocol for Wetland Water Environment Monitoring

A greedy minimum energy consumption forwarding protocol for wireless sensor networks

Research of DPRP routing protocols in the precision-attack efficiency evaluation system

Sidewinder: A Predictive Data Forwarding Protocol for Mobile Wireless Sensor Networks

Minimum Hop Routing Wireless Sensor Networks Based on Ensuring of Data Link Reliability

Localized Routing Protocols Based on Minimum Balanced Tree in Wireless Sensor Networks

Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks

Similar Documents

An Adaptive Energy Efficient Forwarding Protocol for wireless sensor networks

Extending Network Lifetime in Wireless Sensor Networks Using Modified Minimum Cost Forwarding Protocol - MMCFP

Design and Application of Enhanced Communication Protocols for Wireless Sensor Networks operating in Environmental MonitorinDg

Research on Wireless Sensor Networks Routing Protocol for Wetland Water Environment Monitoring

A greedy minimum energy consumption forwarding protocol for wireless sensor networks

Research of DPRP routing protocols in the precision-attack efficiency evaluation system

Sidewinder: A Predictive Data Forwarding Protocol for Mobile Wireless Sensor Networks

Minimum Hop Routing Wireless Sensor Networks Based on Ensuring of Data Link Reliability

Localized Routing Protocols Based on Minimum Balanced Tree in Wireless Sensor Networks

Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks