Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems

Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017
EditorsClaudio Demartini, Thomas Conte, Motonori Nakamura, Chung-Horng Lung, Zhiyong Zhang, Kamrul Hasan, Sorel Reisman, Ling Liu, William Claycomb, Hiroki Takakura, Ji-Jiang Yang, Edmundo Tovar, Stelvio Cimato, Sheikh Iqbal Ahamed, Toyokazu Akiyama
PublisherIEEE Computer Society
Pages760-765
Number of pages6
ISBN (Electronic)9781538603673
DOIs
StatePublished - Sep 7 2017
Event41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017 - Torino, Italy
Duration: Jul 4 2017Jul 8 2017

Publication series

NameProceedings - International Computer Software and Applications Conference
Volume1
ISSN (Print)0730-3157

Other

Other41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017
CountryItaly
CityTorino
Period7/4/177/8/17

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems'. Together they form a unique fingerprint.

  • Cite this

    Guo, C., Fu, Z., Ren, S., Jiang, Y., & Sha, L. (2017). Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. In C. Demartini, T. Conte, M. Nakamura, C-H. Lung, Z. Zhang, K. Hasan, S. Reisman, L. Liu, W. Claycomb, H. Takakura, J-J. Yang, E. Tovar, S. Cimato, S. I. Ahamed, & T. Akiyama (Eds.), Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017 (pp. 760-765). [8029695] (Proceedings - International Computer Software and Applications Conference; Vol. 1). IEEE Computer Society. https://doi.org/10.1109/COMPSAC.2017.253