Formally Identifying COVID-19 Patients for Providing Medical Services using Drones

摘要

The Internet of Things (IoT) is an emerging technology that allows connecting physical devices that are linked to the internet across the world to communicate and share information. Drones are flying objects without any human pilot. In many countries, drones are being used for the fast delivery of packages or products. Nowadays the whole world is fighting against the COVID-19 pandemic which is a viral disease that can be spread by the interaction of people. To fight against this pandemic, the drone's technology can be very effective to minimize the interaction of people. There exists little research work in this area because this virus has been introduced recently in 2019. In this paper, we have proposed an IoT-based model in which wearable sensors are used that will be able to identify COVID-19 patients by monitoring the temperature and respiratory system of the people. After confirmation of identification, the control room will send an alert message and sends medical kits to the residence of the patient through drones. The UML (Unified Modeling Language) is used for the representation and flow of the system. models of the proposed system is specified using Vienna Development Method-Specification language (VDM-SL). VDM-SL toolbox is used to ensure the correctness of the models.