Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report

11/20/2018
by   Chunhui Guo, et al.
0

Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by computerizing medical guidelines. Most existing medical guideline models are validated and/or verified based on the assumption that all necessary medical resources needed for a patient care are always available. However, the reality is that some medical resources, such as special medical equipment or medical specialists, can be temporarily unavailable for an individual patient. In such cases, safety properties validated and/or verified in existing medical guideline models without considering medical resource availability may not hold any more. The paper argues that considering medical resource availability is essential in building verifiably correct executable medical guidelines. We present an approach to explicitly and separately model medical resource availability and automatically integrate resource availability models into an existing statechart-based computerized medical guideline model. This approach requires minimal change in existing medical guideline models to take into consideration of medical resource availability in validating and verifying medical guideline models. A simplified stroke scenario is used as a case study to investigate the effectiveness and validity of our approach.

READ FULL TEXT
research
11/02/2018

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)

Improving patient care safety is an ultimate objective for medical cyber...
research
09/23/2019

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts

Improving the effectiveness and safety of patient care is the ultimate o...
research
12/30/2022

ChatGPT Makes Medicine Easy to Swallow: An Exploratory Case Study on Simplified Radiology Reports

The release of ChatGPT, a language model capable of generating text that...
research
06/07/2016

Sorting out symptoms: design and evaluation of the 'babylon check' automated triage system

Prior to seeking professional medical care it is increasingly common for...
research
06/03/2021

Analysis and Evaluation of the Inequality of the Spatial Distribution of Medical Resources in Jinan

This article will analyze the inequality and evaluation of the spatial d...
research
08/02/2017

Towards Semantic Modeling of Contradictions and Disagreements: A Case Study of Medical Guidelines

We introduce a formal distinction between contradictions and disagreemen...

Please sign up or login with your details

Forgot password? Click here to reset