loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rateb Jabbar 1 ; Moez Krichen 2 ; Noora Fetais 3 and Kamel Barkaoui 4

Affiliations: 1 KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France ; 2 ReDCAD Laboratory, University of Sfax, Tunisia ; 3 KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar ; 4 Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France

Keyword(s): Health Records, Sharing System, Blockchain, Etherum, BiiMED, Formal Verification, Model-Based Testing.

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 c orrectness 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.104.49

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Jabbar, R.; Krichen, M.; Fetais, N. and Barkaoui, K. (2020). Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. In Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS; ISBN 978-989-758-423-7; ISSN 2184-4992, SciTePress, pages 261-268. DOI: 10.5220/0009592102610268

@conference{iceis20,
author={Rateb Jabbar. and Moez Krichen. and Noora Fetais. and Kamel Barkaoui.},
title={Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System},
booktitle={Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS},
year={2020},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009592102610268},
isbn={978-989-758-423-7},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS
TI - Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System
SN - 978-989-758-423-7
IS - 2184-4992
AU - Jabbar, R.
AU - Krichen, M.
AU - Fetais, N.
AU - Barkaoui, K.
PY - 2020
SP - 261
EP - 268
DO - 10.5220/0009592102610268
PB - SciTePress