Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks

Formal localized reactive model of Subnet-based Failure Recovery of Sparsely Connected Network for monitoring less critical areas of border is presented in this paper to reduce monitoring by soldiers. It involves Wireless Sensor and Actor Networks (WSANs) partitioned into subnets. The topology of the subnets is sparsely connected in less critical areas where fewer sensors and actors are required. The proposed algorithm is energy efficient as it requires lesser resources in terms of sensors and actors. Further it partitions WSAN into subnets localizing the problem which makes the algorithm energy efficient. Moreover, in the model, the reactive scheme for failure recovery is considered, as in border protection systems the nodes should be replaced when they fail to work. The proposed model is implemented by developing formal specification using VDM-SL which is a formal specification language used for the detailed level analysis of complex systems. That´s why the proposed model for border protection is formally implemented using VDM-SL. The developed specification is validated, verified and analyzed using VDM-SL Toolbox.