Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks

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[1], 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 ...

• Type: Conference
• Year: 2006
• Where: ETFA
• Authors: William D. Henderson, Steven Tron
• Keywords: Emerging Technology, ETFA 2006, MCF Protocol, Minimum Cost, Sensor Nodes