IoT-based Quality Model in which Blockchain Enabled to Analysis and Provide Medicine to COVID-19 Patients by VDM-SL

Coronavirus sickness is an infectious disease caused by a recently discovered coronavirus. The epidemic scenario spread quickly over the world as a result of COVID-19. Drones are extremely helpful in combating the COVID-19 outbreak. Drone-based technologies are being studied in COVID-19 pandemic scenarios for managing pandemic crises in various scenarios using real-time and simulation-based scenarios. There is a lot of work out there now, but it’s primarily about analytical techniques and simulation approaches, which don’t guarantee that a system is correct and trustworthy. Many breakthroughs in the implementation of novel technology, on the other hand, are still predicted. As a result, the proposed research will be used the Internet of Things (IoT), Blockchain, Unified Modeling Language (UML), and Formal methods to offer a framework for identifying the COVID-19 patient drone-based system. Experts say that the ability of blockchain to validate constantly changing data is one of the main benefits of using blockchain-enabled apps. This capacity could be very helpful in addressing the rapidly evolving COVID-19 issue. VDM-SL has been utilized for formal specification, formal analysis, and formal model verification and validation.