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.
Highlights
Internet of Things (IoT) is anticipated to grow progressively due to the development of networking systems, availability of sensors, and computing networks [1]
In [24], authors introduce a hybrid technique of forest fire detection utilizing both color and movement functionality for the analysis of pictures taken from a camera attached to a UAV that travels throughout the operation time
A well-maintained IoT and Drone-based Forest Fire Detection and Counteraction System is presented in this paper using a subnet mechanism
Summary
IoT is anticipated to grow progressively due to the development of networking systems, availability of sensors, and computing networks [1]. Smart systems have been developed as a technical response to social and environmental challenges, and they have been applied worldwide to make the lives of people more productive and profitable For these purposes, a wide number of applications are being created. A fire in a forest induces a serious risk and may cause an immense environmental disaster, increasing the loss of human lives and wildlife and causing harm to the environment and economy, such as biodiversity. The majority of research has been conducted using most of these main strategies, such as human-based surveillance systems, satellite networks, image sensors, wireless sensor networks (WSN), and IoT [4]. IoT-based sensors are deployed on the trees, ground, and animals to collect information and send it to the control room to extinguish the fire. Today’s researchers have adopted formal methods for formalizing systems in different areas [11,12,13,14,15]
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
