TY - GEN
T1 - Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems
AU - Ou, Andrew Y.Z.
AU - Yu, Jiang
AU - Wu, Po Liang
AU - Sha, Lui
AU - Berlin, Richard B.
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/2/6
Y1 - 2017/2/6
N2 - In a medical environment such as Intensive Care Unit, there are many possible reasons to cause errors, and one important reason is the effect of human intellectual tasks. In this paper, we first provide five categories of generic intellectual tasks of humans, where tasks among each category may lead to potential medical errors. Then, we present an integrated modeling framework to model a medical Cyber-Physical-Human System (CPHSystem) and use UPPAAL as the foundation to integrate and verify the whole medical CPHSystem design models. When designing a medical CPHSystem, developers need to consider whether the system design can mitigate the errors caused by these tasks or not. With a verified and comprehensive model, we can design a more accurate and acceptable system. We use a cardiac arrest resuscitation guidance and navigation system (CAR-GNSystem) as the motivation example for such medical CPHSystem modeling. Experimental results show that the CPHSystem models help determine system design flaws and can mitigate the potential medical errors caused by the human intellectual tasks.
AB - In a medical environment such as Intensive Care Unit, there are many possible reasons to cause errors, and one important reason is the effect of human intellectual tasks. In this paper, we first provide five categories of generic intellectual tasks of humans, where tasks among each category may lead to potential medical errors. Then, we present an integrated modeling framework to model a medical Cyber-Physical-Human System (CPHSystem) and use UPPAAL as the foundation to integrate and verify the whole medical CPHSystem design models. When designing a medical CPHSystem, developers need to consider whether the system design can mitigate the errors caused by these tasks or not. With a verified and comprehensive model, we can design a more accurate and acceptable system. We use a cardiac arrest resuscitation guidance and navigation system (CAR-GNSystem) as the motivation example for such medical CPHSystem modeling. Experimental results show that the CPHSystem models help determine system design flaws and can mitigate the potential medical errors caused by the human intellectual tasks.
UR - http://www.scopus.com/inward/record.url?scp=85015755890&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85015755890&partnerID=8YFLogxK
U2 - 10.1109/SMC.2016.7844922
DO - 10.1109/SMC.2016.7844922
M3 - Conference contribution
AN - SCOPUS:85015755890
T3 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
SP - 4394
EP - 4399
BT - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016
Y2 - 9 October 2016 through 12 October 2016
ER -