International Journal of Modern Engineering Research (IJMER)
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 in MAC (Medium Access Control) layer, 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 in its correctness and study its ability to handle node failure and other errors.