Formalism of network restructuring in Flood Control System
Hamra Afzaal, Nazir Ahmad Zafar · 2017
Flood affects crucially in most of the countries every year. Hence, there is a need to develop mechanism to control flood in order to save precious lives, property, and to improve economic condition of a country. This work presents the use of Wireless Sensor and Actor Networks (WSANs) to monitor continuously and control the flood. This is because sensors have a capability to sense the environment and actors can perform actions on the environment based on the collected information. Therefore, sensors are used for measuring level of river water and actors are used to minimize the damage caused by flood by performing some actions, e.g., evacuate water, save lives and disseminate things. Sensors and actors are deployed to form clusters for increasing efficiency of the network. Cluster heads are used for connecting the clusters. As the nodes in WSANs can suffer physical damage due to severe environmental conditions therefore there is a need to restructure the WSAN for enhancing deployment area to continue controlling the flood. The proposed abstract algorithm is described formally through formal methods based specification language, i.e., Vienna Development Method-Specification Language (VDM-SL) which is used for ensuring correctness of the algorithm. Both the static and dynamic models are developed which use several invariants and pre/post conditions to restrict unwanted behavior in WSAN. The formal specification is analyzed through VDM-SL Toolbox for the validation and verification.