Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System

Abstract

The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of outcomes throughout the patient's lifespan, and detection of human errors. For all the stakeholders, integrity and interoperability of the care continuum are paramount. Yet, its implementation is challenging due to the heterogeneity of healthcare information systems, security threats, and the enormousness of EHR data. To overcome these challenges, this work proposes BiiMED: a Blockchain framework for Enhancing Data Interoperability and Integrity regarding EHR-sharing. This solution is innovative as it contains an access management system allowing the exchange of EHRs between different medical providers and a decentralized Trusted Third Party Auditor (TTPA) for ensuring data integrity. This paper also discusses two validation techniques for enhancing the quality and correctness of the proposed solution: Formal Verification and Model-Based Techniques. The first one checks the correctness of a mathematical model describing the behavior of the given system prior to the implementation. The second technique derives test suites from the adopted model, performs them, and assesses the correctness.

Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review

“…Successful exchanges were achieved as a result of applying an incentive mechanism that improves trust on the implied nodes. Jabbar et al [474] developed a decentralized framework based on Blockchain technology (DISV); the DISV ( [475], [476], [477]) represents a real-time application specification that provides secure communication among all participants in the transportation system. The developed solution is composed of three layers: perception, network, and application layers.…”

Blockchain for Modern Applications: A Survey

“… Health records: Generally, the classical computerized centralized systems [ 64 , 65 , 66 ] do not address the root of the patient data sharing problem. However, thanks to blockchains [ 67 , 68 , 69 ], a patient may simply collect his/her medical history without asking for a copy from each provider he/she has visited. In this way, the blockchain technology allows for the creation of widely secure and accessible data distribution services that interface with different existing healthcare systems.…”

Application of Model-Based Software Testing in the Health Care Domain

“…In both [10,11], a usability testing procedure was used. In [12,13], model-based and online healthcare testing were studied and their challenges and methods were described in detail. In usability testing, the same scenarios are simulated and tested in both real-time and virtual environments.…”