Blockchain Based Formal Modelling of Patient Management in Hospital Emergency System

An emergency department is a fundamental part of hospital systems providing medical treatment services and critical care that specializes in emergency care of patients. In the emergency department, patients are treated without an appointment. Most of the traditional hospital emergency management systems utilize inefficient manual record management procedures that may lead to serious problems. Specifically, a failed emergency services system may result in loss of lives which need modern technologies for developing smart health emergency systems. There exists a lot of work in this area but still, it needs many improvements making use of the state-of-the-art technologies. Therefore, in the present paper blockchain-based formal model of patient management in a hospital emergency system is proposed by integrating the Internet of Things (IoT), Unified Modelling Language (UML), and formal methods. Emergency patient management system functionality includes patient registration, payments, and patient discharge modules. In software development, UML is a standardized modelling language that is used to portray the model of a software system requirement comprehensively. IoT healthcare devices are utilized to track a patient's health condition and actors are employed to take decisions as specified. The blockchain-based model offered system security and privacy mechanism additionally preventing alteration of the record. Formal methods using mathematical models will be applied for validation and model analysis.