Robot-based forest fire detection and extinguishing model

Forests are important part of the ecosystem and play a significant role to preserve and maintain the environment. The main hazard is the forest fires because its consequences are terrible in nature. Therefore, there is a need to detect fire and extinguish before it spreads to destroy the resources. For this purpose, Forest Fire Detection and Extinguishing Algorithm (FFDEA) using Wireless Sensor and Actor Networks (WSANs) is proposed in this work to detect and extinguish fire. Temperature sensors are used to detect and actors to extinguish the fire. The actors are deployed randomly in the forests forming clusters. Clustering, sleep/active schedule and idle/working modes, is used to minimize consumption of energy. WSANs are modeled using graph theory for semi-formal representation of the model. Logical architecture of the system is presented which helped to develop algorithm and it is then transformed into an equivalent formal model using Vienna Development Method-Specification Language (VDM-SL). The model is analyzed through various existing techniques in VDM-SL Toolbox to prove its correctness.

[1]  Sher Afzal Khan,et al.  Formal Verification and Validation of Aircraft Departure Process in Air Traffic Control System Using VDM , 2012 .

[2]  Farooq Ahmad,et al.  Extending promotion to operate controller based on train's operation , 2011 .

[3]  Yoram J. Kaufman,et al.  An Enhanced Contextual Fire Detection Algorithm for MODIS , 2003 .

[4]  Muhammad Imran,et al.  Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL , 2015, 2015 13th International Conference on Frontiers of Information Technology (FIT).

[6]  Sana Ullah,et al.  Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs , 2014, Int. J. Distributed Sens. Networks.

[7]  N.A. Zafar.  Formal model for moving block railway interlocking system based on un-directed topology , 2006, 2006 International Conference on Emerging Technologies.

[8]  J. Cihlar,et al.  Satellite-based detection of Canadian boreal forest fires: Development and application of the algorithm , 2000 .

[10]  Nazir Ahmad Zafar,et al.  Formal modeling and algorithm of subnet-based backup assigning in WSAN , 2015, 2015 International Conference on Information and Communication Technologies (ICICT).

[11]  M. P. Sivaram Kumar,et al.  Detection and Extinguishing Forest Fires using Wireless Sensor and Actor Networks , 2011 .

[12]  Majid Bagheri,et al.  Forest Fire Modeling and Early Detection using Wireless Sensor Networks , 2009, Ad Hoc Sens. Wirel. Networks.

[13]  Xiaoqiao Meng,et al.  Real-time forest fire detection with wireless sensor networks , 2005, Proceedings. 2005 International Conference on Wireless Communications, Networking and Mobile Computing, 2005..

[14]  Muhammad Imran,et al.  Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks , 2012, Sensors.

[15]  Nazir Ahmad Zafar.  Formal specification and analysis of take-off procedure using VDM-SL , 2016, Complex Adapt. Syst. Model..

[16]  N.A. Zafar,et al.  Requirements Analysis of Air Traffic Control System Using Formal Methods , 2007, 2007 International Conference on Information and Emerging Technologies.

[17]  Muhammad Imran,et al.  International Conference on Emerging Ubiquitous Systems and Pervasive Networks ( EUSPN 2015 ) Formalizing Mobile Ad Hoc and Sensor Networks using VDM-SL , 2015 .

[18]  Nazir Ahmad Zafar,et al.  Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks , 2015, 2015 International Conference on Open Source Systems & Technologies (ICOSST).

[19]  Nazir Ahmad Zafar.  Formal specification and validation of railway network components using Z notation , 2009, IET Softw..

[20]  Keijiro Araki,et al.  Towards the safety properties of moving block railway interlocking system , 2012 .

[21]  David M. Doolin,et al.  Wireless sensors for wildfire monitoring , 2005, SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring.

[22]  Athanasios V. Vasilakos,et al.  Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications , 2016, Wirel. Networks.