Towards Formalism of Link Failure Detection Algorithm for Wireless Sensor and Actor Networks

Abstract

The merger of actors and sensors in a wireless network has evolved those opportunities that we can't think before some years. This merger has captured the interest of researchers from around the globe. In the last decade, wireless networks have become much stronger, reliable and secure but as the technology evolves, it carries their own problems. Researchers are targeting different problem according to their own interest like power consumption, network security, link failure etc., so we are also working on link failure detection that can be caused by power breakage, network delay or traffic overload. This model detects the link failure in the network through Link Failure Detection Algorithm (LFDA) and provide recovery mechanism against failure using cluster-based approach. Our purposed model detects network link failure accuratly and precisely solve the problem by creating alternative virtual route for data packets. Our technique can detect current failures also it can detect weaker links, those might be the cause for future failures. Most of the literature have their proof of correctness as simulation but no technique is there which is formally verified, therefore we have presented our idea including its formal verification and validation with the help of formal methods tool box and its formal specification language like (VDM-SL).