TY - GEN
T1 - Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems
AU - Guo, Chunhui
AU - Fu, Zhicheng
AU - Ren, Shangping
AU - Jiang, Yu
AU - Sha, Lui
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/9/7
Y1 - 2017/9/7
N2 - Improving safety of patient care is an ultimate objective for medical systems. Though many medical best practice guidelines exist and are in hospital handbooks, they are often lengthy and difficult for medical professionals to remember and apply clinically. Hence, developing safe and correct medical best practice guideline systems is an urgent need. Many efforts have been made in modeling, clinical validation, model level formal verification of medical best practice guidelines. However, code level verification is also necessary to develop verifiable safe and correct medical guideline systems. The paper presents an approach to transform safety properties specified in verifiable medical guideline models to JavaMOP runtime monitor and specify JavaMOP monitors to runtime monitor these safety properties during execution of Java code generated from validated and verified statechart models. We use a simplified version of a cardiac arrest scenario provided by Carle Foundation Hospital as a case study to validate the proposed approach.
AB - Improving safety of patient care is an ultimate objective for medical systems. Though many medical best practice guidelines exist and are in hospital handbooks, they are often lengthy and difficult for medical professionals to remember and apply clinically. Hence, developing safe and correct medical best practice guideline systems is an urgent need. Many efforts have been made in modeling, clinical validation, model level formal verification of medical best practice guidelines. However, code level verification is also necessary to develop verifiable safe and correct medical guideline systems. The paper presents an approach to transform safety properties specified in verifiable medical guideline models to JavaMOP runtime monitor and specify JavaMOP monitors to runtime monitor these safety properties during execution of Java code generated from validated and verified statechart models. We use a simplified version of a cardiac arrest scenario provided by Carle Foundation Hospital as a case study to validate the proposed approach.
UR - http://www.scopus.com/inward/record.url?scp=85031920923&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85031920923&partnerID=8YFLogxK
U2 - 10.1109/COMPSAC.2017.253
DO - 10.1109/COMPSAC.2017.253
M3 - Conference contribution
AN - SCOPUS:85031920923
T3 - Proceedings - International Computer Software and Applications Conference
SP - 760
EP - 765
BT - Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017
A2 - Demartini, Claudio
A2 - Conte, Thomas
A2 - Nakamura, Motonori
A2 - Lung, Chung-Horng
A2 - Zhang, Zhiyong
A2 - Hasan, Kamrul
A2 - Reisman, Sorel
A2 - Liu, Ling
A2 - Claycomb, William
A2 - Takakura, Hiroki
A2 - Yang, Ji-Jiang
A2 - Tovar, Edmundo
A2 - Cimato, Stelvio
A2 - Ahamed, Sheikh Iqbal
A2 - Akiyama, Toyokazu
PB - IEEE Computer Society
T2 - 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017
Y2 - 4 July 2017 through 8 July 2017
ER -