Formal Modeling of IoT and Drone-Based Forest Fire Detection and Counteraction System

Abstract

Forests are an enduring component of the natural world and perform a vital role in protecting the environment. Forests are valuable resources to control global warming and provide oxygen for the survival of human life, including wood for households. Forest fires have recently emerged as a major threat to biological processes and the ecosystem. Unfortunately, almost every year, fire damages millions of hectares of forest land due to late and inefficient detection of fire. However, it is important to identify the forest fire at the initial level before it spreads to vast areas and destroys natural resources. In this paper, a formal model of the Internet of Things (IoT) and drone-based forest fire detection and counteraction system is presented. The proposed system comprises network maintenance. Sensor deployment is on trees, the ground, and animals in the form of subnets to transmit sensed data to the control room. All subnets are connected to the control room through gateway nodes. Alarms are being used to alert human beings and animals to save their lives, which will help to initially protect them from fire. The embedded sensors collect the information and transfer it to the gateways. Drones are being used for real-time visualization of fire-affected areas and to perform actions to control fires because they play a vital role in disasters. Graph theory is used to construct an efficient model and to show the connectivity of the network. To identify failures and develop recovery procedures, the algorithm is designed through the graph-based model. The model is developed by the Vienna Development Method-Specification Language (VDM-SL), and the correctness of the model is ensured using various VDM-SL toolbox facilities.

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

“…In Refs. [46,47], The authors presented a fog computing-based protocol for providing emergency services with minimal latency in emergency situations. Their main focus was on V2I communication, not on V2V communication, and simulation-based, which did not provide the accuracy of the model.…”

Survey Paper Artificial and Computational Intelligence in the Internet of Things and Wireless Sensor Network

“…IoT also gives birth to new technologies such as WSN (Wireless Sensor Network) [12] and Drone [13]. Even though IoT can be used as a single node, such as in health care applications to monitor patient heart rate, blood pressure, body temperature, and others [14], IoT can also be used as a network to expand the IoT application coverage such as forest fire drone monitoring [15] and others [16]. This IoT is called a Wireless Sensor Network.…”

Drones and Blockchain Integration to Manage Forest Fires in Remote Regions

“…Tehseen et al came up with the idea to gather data and send them to the station. They also used drones for real-time visualization and graph theory to create an efficient model [43].…”