• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Enterprise Information Systems >Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System
【24h】

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

机译：采用正式验证和基于模型的测试技术，用于验证基于区块链的医疗保健记录共享系统

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：电子健康记录（EHR）共享系统是为患者提供高效医疗保健的现代工具。其功能包括跟踪疗法，监测治疗效果，在整个患者的寿命期间预测结果，以及人体错误的检测。对于所有利益相关者，护理连续性的完整性和互操作性都是至关重要的。然而，由于医疗信息系统，安全威胁以及EHR数据的巨大性，其实施是挑战。为了克服这些挑战，这项工作提出了BIMED：一个区块链框架，用于提高关于EHR共享的数据互操作性和完整性。该解决方案是创新的，因为它包含一个访问管理系统，允许在不同的医疗提供者和分散的可信第三方审计员（TTPA）之间交换EHR，以确保数据完整性。本文还讨论了提高所提出的解决方案的质量和正确性的两种验证技术：正式验证和基于模型的技术。第一个检查描述在实现之前描述给定系统的行为的数学模型的正确性。第二种技术从采用的模型中推出测试套件，执行它们，并评估正确性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号