Blockchain-based Formal Modeling of E-Hospital Emergency Management System
Tayyaba Naseer Khan, Nazir Ahmad Zafar, Eman H. Alkhammash · 2021
The emergency department is the main stepping stone into a public health system, where patients with critical emergencies receive initial treatment and intensive care. Mismanagement of the emergency services system, ultimately, could result in the loss of lives, necessitating the use of technologically advanced strategies in the development of smart healthcare systems. There exists a lot of research in this field that is relied on traditional manual approaches, however, still considering many innovations in the usage of state-of-the-art technologies. Smart city-supported infrastructure provides automation to healthcare and non-healthcare service mechanisms. Therefore, this paper proposes an automated blockchain-based formal model of e-hospital emergency management system correlating the Internet of Things (IoT), Finite Automaton, Unified Modeling Language (UML) and VDM-SL formal method. System functionality will include registration, patient triage, e-prescription, payments and patient discharge. IoT sensors capable of monitoring a patient's health and actuators further be utilized to perform actions as intended. To optimize the efficiency of the system, finite automata will be implemented to model the system functionalities. UML diagrams will be used to precisely demonstrate the system requirements. The blockchain-based model will offer authentication and privacy mechanisms that prevent alteration of the record. VDM-SL formal specification will be applied to analyze and validate the model.