TY - GEN
T1 - Model and integrate medical resource availability into verifiably correct executable medical guidelines
AU - Guo, Chunhui
AU - Fu, Zhicheng
AU - Zhang, Zhenyu
AU - Ren, Shangping
AU - Sha, Lui
N1 - Funding Information:
V. CONCLUSION Medical guidelines often assume that all required medical resources are available. Unfortunately, the reality at medical facilities is that some medical resources can be temporarily unavailable. Hence, taking into consideration of medical resource availability in developing verifiable medical guideline models is essential in validating and verifying safety properties. The paper presents an approach to separately model medical resource availability with statecharts and automatically integrate medical resource availability statecharts with verifiably correct executable medical guideline models. The proposed approach allows to minimize the change impact on medical guideline models caused by resource availability variations. The applying separation of concern methodology in our approach further allows different professionals to focus on only their own domains, e.g., medical professionals and resource administrators focus on medical guidelines and medical resource availability information, respectively. The separation also improves model understandability for both medical professionals and resource administrators. In addition, this approach can be easily implemented in our existing platform [11] with which the medical guideline models with the consideration of resource availability can be clinically validated by medical professionals and formally verified with existing tools. We also use a simplified stroke scenario as a case study to investigate the effectiveness and validity of our approach. In this paper, we consider the multiple resources required by the same medical action are pairwise independent. Our future work is to extend the presented approach to support dependent resources. ACKNOWLEDGEMENT We would like to thank Professor Yu Jiang from Tsinghua University for his valuable suggestions in this work. The work is supported in part by NSF CNS 1545008 and NSF CNS 1545002.
Publisher Copyright:
© 2017 IEEE.
PY - 2017/12/13
Y1 - 2017/12/13
N2 - 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 [20]. 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.
AB - 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 [20]. 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.
UR - http://www.scopus.com/inward/record.url?scp=85043497149&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85043497149&partnerID=8YFLogxK
U2 - 10.1109/ICCAD.2017.8203885
DO - 10.1109/ICCAD.2017.8203885
M3 - Conference contribution
AN - SCOPUS:85043497149
T3 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
SP - 964
EP - 969
BT - 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017
Y2 - 13 November 2017 through 16 November 2017
ER -