Cloud computing based flood detection and management system using WSANs

Flood is one of the major natural disasters affecting almost the whole world. In this paper, we propose a model of cloud computing based flood detection and management system (FDMS) using wireless sensor and actor networks (WSANs). Sensors and actors are deployed in connected subnets to localize the problem. As WSANs are limited in terms of resources, e.g., battery, wireless bandwidth and memory, therefore, cloud computing is used to aid WSANs to provide sufficient resources increasing energy efficiency of the system. In the proposed model, sensors are deployed to monitor water level conditions, that is, water in a river or rainfall level. Gateways, which are powerful actors, are used for communication with cloud and for activating actors according to the information processed by cloud. The proposed model is described by the formal technique, Vienna Development Method-Specification Language (VDM-SL) for a detailed level examination, specification and implementation of the system. VDM-SL is used to generate possible test cases to reduce errors and omissions in a system. VDM-SL toolbox is used for validation and verification of the proposed model.